Skip to content

Actions: runtimeverification/kontrol

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
166 workflow runs
166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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