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.376 Release #30: Commit ef93f4e pushed by rv-jenkins
July 30, 2024 02:21 23m 34s release
release
July 30, 2024 02:21 23m 34s
Set Version: 0.1.375 Release #29: Commit 4fc9447 pushed by rv-jenkins
July 26, 2024 22:25 24m 34s release
release
July 26, 2024 22:25 24m 34s
Set Version: 0.1.374 Release #28: Commit 1664166 pushed by rv-jenkins
July 26, 2024 06:14 24m 26s release
release
July 26, 2024 06:14 24m 26s
Set Version: 0.1.373 Release #27: Commit b38550c pushed by rv-jenkins
July 25, 2024 18:27 22m 44s release
release
July 25, 2024 18:27 22m 44s
Set Version: 0.1.372 Release #26: Commit 2bea89a pushed by rv-jenkins
July 25, 2024 15:13 22m 46s release
release
July 25, 2024 15:13 22m 46s
Set Version: 0.1.371 Release #25: Commit 346c49d pushed by rv-jenkins
July 25, 2024 08:27 21m 19s release
release
July 25, 2024 08:27 21m 19s
Set Version: 0.1.370 Release #24: Commit 212302b pushed by rv-jenkins
July 24, 2024 17:41 24m 55s release
release
July 24, 2024 17:41 24m 55s
Set Version: 0.1.369 Release #23: Commit 2244dfc pushed by rv-jenkins
July 23, 2024 09:25 22m 53s release
release
July 23, 2024 09:25 22m 53s
Set Version: 0.1.368 Release #22: Commit 5c8db6e pushed by rv-jenkins
July 23, 2024 08:02 23m 9s release
release
July 23, 2024 08:02 23m 9s
Set Version: 0.1.367 Release #21: Commit bf48f25 pushed by rv-jenkins
July 22, 2024 17:41 23m 13s release
release
July 22, 2024 17:41 23m 13s
Set Version: 0.1.366 Release #20: Commit 7690518 pushed by rv-jenkins
July 22, 2024 09:17 24m 22s release
release
July 22, 2024 09:17 24m 22s
Set Version: 0.1.365 Release #19: Commit d171c18 pushed by rv-jenkins
July 19, 2024 23:24 25m 4s release
release
July 19, 2024 23:24 25m 4s
Set Version: 0.1.364 Release #18: Commit fd8ca45 pushed by rv-jenkins
July 19, 2024 19:11 23m 42s release
release
July 19, 2024 19:11 23m 42s
Set Version: 0.1.364 Release #17: Commit db6bf29 pushed by rv-jenkins
July 19, 2024 19:09 3m 28s release
release
July 19, 2024 19:09 3m 28s
Set Version: 0.1.364 Release #16: Commit 0979fd7 pushed by rv-jenkins
July 19, 2024 18:44 5m 25s release
release
July 19, 2024 18:44 5m 25s
Set Version: 0.1.363 Release #15: Commit 886b911 pushed by rv-jenkins
July 19, 2024 16:48 16s release
release
July 19, 2024 16:48 16s
Set Version: 0.1.364 Release #14: Commit f9aa0fd pushed by F-WRunTime
July 19, 2024 16:48 24s release
release
July 19, 2024 16:48 24s
Set Version: 0.1.363 Release #7: Commit 92d0655 pushed by rv-jenkins
July 19, 2024 16:16 25m 40s release
release
July 19, 2024 16:16 25m 40s
Set Version: 0.1.363 Release #6: Commit 70d3312 pushed by rv-jenkins
July 19, 2024 15:22 2m 18s release
release
July 19, 2024 15:22 2m 18s
Set Version: 0.1.363 Release #5: Commit b4ff937 pushed by rv-jenkins
July 19, 2024 15:22 50s release
release
July 19, 2024 15:22 50s
Set Version: 0.1.362 Release #4: Commit a8e9163 pushed by F-WRunTime
July 19, 2024 15:21 26m 20s release
release
July 19, 2024 15:21 26m 20s
Set Version: 0.1.361 Release #3: Commit 17072de pushed by rv-jenkins
July 19, 2024 15:10 2m 38s release
release
July 19, 2024 15:10 2m 38s
Set Version: 0.1.361 Release #2: Commit 2b1589e pushed by rv-jenkins
July 19, 2024 10:11 1m 37s release
release
July 19, 2024 10:11 1m 37s
Merge branch 'master' into release Release #1: Commit 64ff45f pushed by F-WRunTime
July 18, 2024 15:25 22m 57s release
release
July 18, 2024 15:25 22m 57s