Skip to content

Actions: runtimeverification/k

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
105 workflow run results
105 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release v6.1.10 Release #960: Release v6.1.10 prereleased by rv-jenkins
November 13, 2023 21:03 1h 48m 18s
November 13, 2023 21:03 1h 48m 18s
K Framework Release v6.1.9 Release #959: Release v6.1.9 prereleased by rv-jenkins
November 13, 2023 18:03 2h 16m 36s
November 13, 2023 18:03 2h 16m 36s
K Framework Release v6.1.8 Release #958: Release v6.1.8 prereleased by rv-jenkins
November 13, 2023 13:43 2h 17m 47s
November 13, 2023 13:43 2h 17m 47s
K Framework Release v6.1.7 Release #957: Release v6.1.7 prereleased by rv-jenkins
November 10, 2023 23:54 2h 40m 43s
November 10, 2023 23:54 2h 40m 43s
K Framework Release v6.1.6 Release #956: Release v6.1.6 prereleased by rv-jenkins
November 10, 2023 23:03 1h 41m 48s
November 10, 2023 23:03 1h 41m 48s
K Framework Release v6.1.5 Release #955: Release v6.1.5 prereleased by rv-jenkins
November 10, 2023 12:03 1h 39m 13s
November 10, 2023 12:03 1h 39m 13s
K Framework Release v6.1.4 Release #954: Release v6.1.4 prereleased by rv-jenkins
November 9, 2023 22:43 2h 13m 44s
November 9, 2023 22:43 2h 13m 44s
K Framework Release v6.1.3 Release #953: Release v6.1.3 prereleased by rv-jenkins
November 9, 2023 21:29 1h 39m 41s
November 9, 2023 21:29 1h 39m 41s
K Framework Release v6.1.2 Release #952: Release v6.1.2 prereleased by rv-jenkins
November 9, 2023 18:03 1h 50m 32s
November 9, 2023 18:03 1h 50m 32s
K Framework Release v6.1.1 Release #951: Release v6.1.1 prereleased by rv-jenkins
November 8, 2023 16:03 1h 44m 6s
November 8, 2023 16:03 1h 44m 6s
K Framework Release v6.1.0 Release #950: Release v6.1.0 prereleased by rv-jenkins
November 8, 2023 10:43 1h 46m 27s
November 8, 2023 10:43 1h 46m 27s
K Framework Release v6.0.198 Release #949: Release v6.0.198 prereleased by rv-jenkins
November 7, 2023 16:51 3h 8m 17s
November 7, 2023 16:51 3h 8m 17s
K Framework Release v6.0.197 Release #948: Release v6.0.197 prereleased by rv-jenkins
November 7, 2023 16:03 2h 10m 25s
November 7, 2023 16:03 2h 10m 25s
K Framework Release v6.0.196 Release #947: Release v6.0.196 prereleased by rv-jenkins
November 7, 2023 14:32 2h 14m 30s
November 7, 2023 14:32 2h 14m 30s
K Framework Release v6.0.195 Release #946: Release v6.0.195 prereleased by rv-jenkins
November 7, 2023 13:33 1h 10m 55s
November 7, 2023 13:33 1h 10m 55s
K Framework Release v6.0.194 Release #945: prereleased by rv-jenkins
November 6, 2023 23:58 1h 5m 59s
November 6, 2023 23:58 1h 5m 59s
K Framework Release v6.0.194 Release #944: prereleased by rv-jenkins
November 6, 2023 18:04 1h 6m 0s
November 6, 2023 18:04 1h 6m 0s
K Framework Release v6.0.193 Release #943: prereleased by rv-jenkins
November 5, 2023 23:18 28m 27s
November 5, 2023 23:18 28m 27s
K Framework Release v6.0.192 Release #942: prereleased by rv-jenkins
November 3, 2023 14:03 1h 4m 26s
November 3, 2023 14:03 1h 4m 26s
K Framework Release v6.0.191 Release #941: prereleased by rv-jenkins
November 3, 2023 12:30 1h 18m 19s
November 3, 2023 12:30 1h 18m 19s
K Framework Release v6.0.190 Release #940: Release v6.0.190 prereleased by rv-jenkins
November 2, 2023 19:25 2h 9m 22s
November 2, 2023 19:25 2h 9m 22s
K Framework Release v6.0.189 Release #939: Release v6.0.189 prereleased by rv-jenkins
November 2, 2023 17:26 1h 50m 1s
November 2, 2023 17:26 1h 50m 1s
K Framework Release v6.0.188 Release #938: prereleased by rv-jenkins
November 1, 2023 17:25 1h 11m 47s
November 1, 2023 17:25 1h 11m 47s
K Framework Release v6.0.187 Release #937: Release v6.0.187 prereleased by rv-jenkins
November 1, 2023 12:03 1h 45m 53s
November 1, 2023 12:03 1h 45m 53s
K Framework Release v6.0.186 Release #936: Release v6.0.186 prereleased by rv-jenkins
October 31, 2023 15:25 1h 57m 29s
October 31, 2023 15:25 1h 57m 29s