Skip to content

Actions: runtimeverification/k

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
84 workflow run results
84 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release v6.1.24 Release #974: Release v6.1.24 prereleased by rv-jenkins
November 20, 2023 19:45 3h 34m 28s
November 20, 2023 19:45 3h 34m 28s
K Framework Release v6.1.23 Release #973: Release v6.1.23 prereleased by rv-jenkins
November 20, 2023 18:43 2h 45m 8s
November 20, 2023 18:43 2h 45m 8s
K Framework Release v6.1.22 Release #972: Release v6.1.22 prereleased by rv-jenkins
November 20, 2023 17:43 1h 43m 28s
November 20, 2023 17:43 1h 43m 28s
K Framework Release v6.1.21 Release #971: Release v6.1.21 prereleased by rv-jenkins
November 17, 2023 22:26 1h 51m 46s
November 17, 2023 22:26 1h 51m 46s
K Framework Release v6.1.20 Release #970: Release v6.1.20 prereleased by rv-jenkins
November 16, 2023 16:28 1h 43m 55s
November 16, 2023 16:28 1h 43m 55s
K Framework Release v6.1.19 Release #969: Release v6.1.19 prereleased by rv-jenkins
November 16, 2023 12:30 2h 27m 50s
November 16, 2023 12:30 2h 27m 50s
K Framework Release v6.1.18 Release #968: Release v6.1.18 prereleased by rv-jenkins
November 16, 2023 10:43 32m 36s
November 16, 2023 10:43 32m 36s
K Framework Release v6.1.17 Release #967: Release v6.1.17 prereleased by rv-jenkins
November 15, 2023 19:43 1h 41m 19s
November 15, 2023 19:43 1h 41m 19s
K Framework Release v6.1.16 Release #966: Release v6.1.16 prereleased by rv-jenkins
November 15, 2023 17:03 1h 49m 48s
November 15, 2023 17:03 1h 49m 48s
K Framework Release v6.1.15 Release #965: Release v6.1.15 prereleased by rv-jenkins
November 15, 2023 13:05 1h 44m 15s
November 15, 2023 13:05 1h 44m 15s
K Framework Release v6.1.14 Release #964: Release v6.1.14 prereleased by rv-jenkins
November 14, 2023 19:07 1h 44m 52s
November 14, 2023 19:07 1h 44m 52s
K Framework Release v6.1.13 Release #963: Release v6.1.13 prereleased by rv-jenkins
November 14, 2023 17:03 1h 49m 33s
November 14, 2023 17:03 1h 49m 33s
K Framework Release v6.1.12 Release #962: Release v6.1.12 prereleased by rv-jenkins
November 14, 2023 13:08 1h 47m 50s
November 14, 2023 13:08 1h 47m 50s
K Framework Release v6.1.11 Release #961: Release v6.1.11 prereleased by rv-jenkins
November 14, 2023 11:23 1h 42m 30s
November 14, 2023 11:23 1h 42m 30s
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