Skip to content

Actions: runtimeverification/k

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
502 workflow run results
502 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release v6.1.39 Release #989: Release v6.1.39 prereleased by rv-jenkins
December 5, 2023 01:01 1h 52m 36s
December 5, 2023 01:01 1h 52m 36s
K Framework Release v6.1.38 Release #988: Release v6.1.38 prereleased by rv-jenkins
December 4, 2023 19:17 1h 24m 19s
December 4, 2023 19:17 1h 24m 19s
K Framework Release v6.1.37 Release #987: Release v6.1.37 prereleased by rv-jenkins
December 4, 2023 17:07 1h 49m 29s
December 4, 2023 17:07 1h 49m 29s
K Framework Release v6.1.36 Release #986: Release v6.1.36 prereleased by rv-jenkins
December 4, 2023 10:27 1h 39m 44s
December 4, 2023 10:27 1h 39m 44s
K Framework Release v6.1.35 Release #985: Release v6.1.35 prereleased by rv-jenkins
December 1, 2023 14:03 1h 44m 9s
December 1, 2023 14:03 1h 44m 9s
K Framework Release v6.1.34 Release #984: Release v6.1.34 prereleased by rv-jenkins
November 30, 2023 16:28 1h 59m 40s
November 30, 2023 16:28 1h 59m 40s
K Framework Release v6.1.33 Release #983: Release v6.1.33 prereleased by rv-jenkins
November 30, 2023 14:04 1h 49m 36s
November 30, 2023 14:04 1h 49m 36s
K Framework Release v6.1.32 Release #982: Release v6.1.32 prereleased by rv-jenkins
November 29, 2023 18:43 2h 10m 24s
November 29, 2023 18:43 2h 10m 24s
K Framework Release v6.1.31 Release #981: Release v6.1.31 prereleased by rv-jenkins
November 29, 2023 17:03 1h 44m 45s
November 29, 2023 17:03 1h 44m 45s
K Framework Release v6.1.30 Release #980: Release v6.1.30 prereleased by rv-jenkins
November 28, 2023 15:25 2h 1m 31s
November 28, 2023 15:25 2h 1m 31s
K Framework Release v6.1.29 Release #979: Release v6.1.29 prereleased by rv-jenkins
November 27, 2023 22:42 1h 50m 57s
November 27, 2023 22:42 1h 50m 57s
K Framework Release v6.1.28 Release #978: Release v6.1.28 prereleased by rv-jenkins
November 27, 2023 18:43 2h 17m 34s
November 27, 2023 18:43 2h 17m 34s
K Framework Release v6.1.27 Release #977: Release v6.1.27 prereleased by rv-jenkins
November 27, 2023 15:43 1h 54m 42s
November 27, 2023 15:43 1h 54m 42s
K Framework Release Release #976: Release v6.1.26 prereleased by rv-jenkins
November 24, 2023 15:24 1h 58m 51s
November 24, 2023 15:24 1h 58m 51s
K Framework Release v6.1.25 Release #975: Release v6.1.25 prereleased by rv-jenkins
November 21, 2023 10:45 1h 58m 31s
November 21, 2023 10:45 1h 58m 31s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.