Skip to content

Actions: runtimeverification/kontrol

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 1.0.29 Release #105: Commit b76b8c9 pushed by rv-jenkins
September 23, 2024 10:56 20m 2s release
release
September 23, 2024 10:56 20m 2s
Set Version: 1.0.28 Release #104: Commit b00aacf pushed by rv-jenkins
September 23, 2024 07:00 21m 39s release
release
September 23, 2024 07:00 21m 39s
Set Version: 1.0.27 Release #103: Commit 833d9f2 pushed by rv-jenkins
September 19, 2024 15:42 20m 2s release
release
September 19, 2024 15:42 20m 2s
Set Version: 1.0.26 Release #102: Commit 4eacd0f pushed by rv-jenkins
September 19, 2024 14:43 21m 52s release
release
September 19, 2024 14:43 21m 52s
Set Version: 1.0.25 Release #101: Commit def0750 pushed by rv-jenkins
September 17, 2024 06:02 22m 23s release
release
September 17, 2024 06:02 22m 23s
Set Version: 1.0.24 Release #100: Commit 8ed21b2 pushed by rv-jenkins
September 14, 2024 02:41 21m 59s release
release
September 14, 2024 02:41 21m 59s
Set Version: 1.0.23 Release #99: Commit 0b1823e pushed by rv-jenkins
September 11, 2024 13:27 20m 6s release
release
September 11, 2024 13:27 20m 6s
Set Version: 1.0.22 Release #98: Commit 07770fe pushed by rv-jenkins
September 11, 2024 11:24 22m 2s release
release
September 11, 2024 11:24 22m 2s
Set Version: 1.0.21 Release #97: Commit 9ca7aaa pushed by rv-jenkins
September 10, 2024 11:05 21m 42s release
release
September 10, 2024 11:05 21m 42s
Set Version: 1.0.20 Release #96: Commit eb6931f pushed by rv-jenkins
September 9, 2024 16:32 21m 0s release
release
September 9, 2024 16:32 21m 0s
Set Version: 1.0.19 Release #95: Commit cf2eb6d pushed by rv-jenkins
September 6, 2024 14:02 22m 12s release
release
September 6, 2024 14:02 22m 12s
Set Version: 1.0.18 Release #94: Commit 802f5a1 pushed by rv-jenkins
September 5, 2024 19:02 21m 34s release
release
September 5, 2024 19:02 21m 34s
Set Version: 1.0.17 Release #93: Commit 0ca0c62 pushed by rv-jenkins
September 4, 2024 13:58 4h 40m 39s release
release
September 4, 2024 13:58 4h 40m 39s
Set Version: 1.0.16 Release #92: Commit 4d1a029 pushed by rv-jenkins
September 2, 2024 11:54 12h 49m 54s release
release
September 2, 2024 11:54 12h 49m 54s
Set Version: 1.0.15 Release #91: Commit d3f9966 pushed by rv-jenkins
September 2, 2024 10:06 1d 6h 2m 1s release
release
September 2, 2024 10:06 1d 6h 2m 1s
Set Version: 1.0.14 Release #90: Commit 00b791e pushed by rv-jenkins
August 31, 2024 14:56 1d 9h 27m 20s release
release
August 31, 2024 14:56 1d 9h 27m 20s
Set Version: 1.0.13 Release #89: Commit 77f8474 pushed by rv-jenkins
August 30, 2024 13:53 1d 2h 15m 1s release
release
August 30, 2024 13:53 1d 2h 15m 1s
Set Version: 1.0.12 Release #88: Commit 4af2c3c pushed by rv-jenkins
August 29, 2024 21:21 23m 19s release
release
August 29, 2024 21:21 23m 19s
Set Version: 1.0.11 Release #87: Commit 1fadf81 pushed by rv-jenkins
August 29, 2024 14:02 23m 30s release
release
August 29, 2024 14:02 23m 30s
Set Version: 1.0.10 Release #86: Commit 6112b6d pushed by rv-jenkins
August 29, 2024 08:29 23m 54s release
release
August 29, 2024 08:29 23m 54s
Set Version: 1.0.9 Release #85: Commit 9a663d7 pushed by rv-jenkins
August 28, 2024 22:01 24m 24s release
release
August 28, 2024 22:01 24m 24s
Set Version: 1.0.8 Release #84: Commit 328e747 pushed by rv-jenkins
August 28, 2024 17:02 24m 3s release
release
August 28, 2024 17:02 24m 3s
Set Version: 1.0.7 Release #83: Commit 94aea3c pushed by rv-jenkins
August 28, 2024 09:25 26m 34s release
release
August 28, 2024 09:25 26m 34s
Set Version: 1.0.6 Release #82: Commit 92e842f pushed by rv-jenkins
August 27, 2024 18:26 24m 2s release
release
August 27, 2024 18:26 24m 2s
Set Version: 1.0.5 Release #81: Commit 3991ba0 pushed by rv-jenkins
August 27, 2024 06:38 24m 36s release
release
August 27, 2024 06:38 24m 36s