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: 0.1.401 Release #55: Commit 97585a5 pushed by rv-jenkins
August 10, 2024 16:06 25m 5s release
release
August 10, 2024 16:06 25m 5s
Set Version: 0.1.400 Release #54: Commit 1b02789 pushed by rv-jenkins
August 9, 2024 13:34 24m 43s release
release
August 9, 2024 13:34 24m 43s
Set Version: 0.1.399 Release #53: Commit f69521e pushed by rv-jenkins
August 9, 2024 09:26 25m 8s release
release
August 9, 2024 09:26 25m 8s
Set Version: 0.1.398 Release #52: Commit 21aaf26 pushed by rv-jenkins
August 9, 2024 07:02 22m 47s release
release
August 9, 2024 07:02 22m 47s
Set Version: 0.1.397 Release #51: Commit 959524a pushed by rv-jenkins
August 8, 2024 21:27 22m 57s release
release
August 8, 2024 21:27 22m 57s
Set Version: 0.1.396 Release #50: Commit f14a7f7 pushed by rv-jenkins
August 8, 2024 18:54 23m 10s release
release
August 8, 2024 18:54 23m 10s
Set Version: 0.1.395 Release #49: Commit 42a209a pushed by rv-jenkins
August 8, 2024 11:00 25m 39s release
release
August 8, 2024 11:00 25m 39s
Set Version: 0.1.394 Release #48: Commit 4e82acd pushed by rv-jenkins
August 7, 2024 15:26 22m 48s release
release
August 7, 2024 15:26 22m 48s
Set Version: 0.1.393 Release #47: Commit 865c906 pushed by rv-jenkins
August 7, 2024 13:11 23m 38s release
release
August 7, 2024 13:11 23m 38s
Set Version: 0.1.392 Release #46: Commit 95100fb pushed by rv-jenkins
August 7, 2024 10:45 22m 59s release
release
August 7, 2024 10:45 22m 59s
Set Version: 0.1.391 Release #45: Commit a49271d pushed by rv-jenkins
August 7, 2024 04:02 24m 55s release
release
August 7, 2024 04:02 24m 55s
Set Version: 0.1.390 Release #44: Commit 20e173b pushed by rv-jenkins
August 6, 2024 15:56 23m 9s release
release
August 6, 2024 15:56 23m 9s
Set Version: 0.1.389 Release #43: Commit 182cd67 pushed by rv-jenkins
August 6, 2024 13:11 24m 39s release
release
August 6, 2024 13:11 24m 39s
Set Version: 0.1.388 Release #42: Commit 4970b0d pushed by rv-jenkins
August 6, 2024 01:00 25m 30s release
release
August 6, 2024 01:00 25m 30s
Set Version: 0.1.387 Release #41: Commit ecb2748 pushed by rv-jenkins
August 2, 2024 20:02 22m 55s release
release
August 2, 2024 20:02 22m 55s
Set Version: 0.1.386 Release #40: Commit 6ba7811 pushed by rv-jenkins
August 2, 2024 18:28 22m 58s release
release
August 2, 2024 18:28 22m 58s
Set Version: 0.1.385 Release #39: Commit e0333a6 pushed by rv-jenkins
August 2, 2024 15:25 23m 17s release
release
August 2, 2024 15:25 23m 17s
Set Version: 0.1.384 Release #38: Commit da69aec pushed by rv-jenkins
August 2, 2024 11:38 23m 0s release
release
August 2, 2024 11:38 23m 0s
Set Version: 0.1.383 Release #37: Commit 600b143 pushed by rv-jenkins
August 2, 2024 10:26 23m 1s release
release
August 2, 2024 10:26 23m 1s
Set Version: 0.1.382 Release #36: Commit b4c7d68 pushed by rv-jenkins
August 1, 2024 23:31 23m 0s release
release
August 1, 2024 23:31 23m 0s
Set Version: 0.1.381 Release #35: Commit 7133b96 pushed by rv-jenkins
August 1, 2024 21:02 25m 20s release
release
August 1, 2024 21:02 25m 20s
Set Version: 0.1.380 Release #34: Commit a6917ca pushed by rv-jenkins
July 31, 2024 10:11 22m 52s release
release
July 31, 2024 10:11 22m 52s
Set Version: 0.1.379 Release #33: Commit b14f66e pushed by rv-jenkins
July 31, 2024 08:25 23m 23s release
release
July 31, 2024 08:25 23m 23s
Set Version: 0.1.378 Release #32: Commit af4d8a0 pushed by rv-jenkins
July 30, 2024 16:07 22m 52s release
release
July 30, 2024 16:07 22m 52s
Set Version: 0.1.377 Release #31: Commit c3d0075 pushed by rv-jenkins
July 30, 2024 12:04 22m 55s release
release
July 30, 2024 12:04 22m 55s