Skip to content

Actions: runtimeverification/kontrol

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 1.0.90 Release #166: Commit 1e1dc2b pushed by rv-jenkins
December 18, 2024 12:30 19m 57s release
release
December 18, 2024 12:30 19m 57s
Set Version: 1.0.89 Release #165: Commit 4027952 pushed by rv-jenkins
December 18, 2024 10:27 21m 55s release
release
December 18, 2024 10:27 21m 55s
Set Version: 1.0.88 Release #164: Commit aa68c63 pushed by rv-jenkins
December 17, 2024 17:27 20m 59s release
release
December 17, 2024 17:27 20m 59s
Set Version: 1.0.87 Release #163: Commit c9bf829 pushed by rv-jenkins
December 17, 2024 09:43 20m 47s release
release
December 17, 2024 09:43 20m 47s
Set Version: 1.0.86 Release #162: Commit b17563a pushed by rv-jenkins
December 16, 2024 14:59 21m 25s release
release
December 16, 2024 14:59 21m 25s
Set Version: 1.0.85 Release #161: Commit d8b7dbc pushed by rv-jenkins
December 16, 2024 10:02 20m 10s release
release
December 16, 2024 10:02 20m 10s
Set Version: 1.0.84 Release #160: Commit 33ca4d6 pushed by rv-jenkins
December 16, 2024 06:29 22m 32s release
release
December 16, 2024 06:29 22m 32s
Set Version: 1.0.83 Release #159: Commit b193cbb pushed by rv-jenkins
December 13, 2024 15:27 22m 11s release
release
December 13, 2024 15:27 22m 11s
Set Version: 1.0.82 Release #158: Commit ac6e244 pushed by rv-jenkins
December 10, 2024 18:46 20m 12s release
release
December 10, 2024 18:46 20m 12s
Set Version: 1.0.81 Release #157: Commit d313226 pushed by rv-jenkins
December 10, 2024 08:00 22m 0s release
release
December 10, 2024 08:00 22m 0s
Set Version: 1.0.80 Release #156: Commit ce8c864 pushed by rv-jenkins
December 9, 2024 16:46 22m 12s release
release
December 9, 2024 16:46 22m 12s
Set Version: 1.0.79 Release #155: Commit 6a9310b pushed by rv-jenkins
December 8, 2024 17:42 21m 51s release
release
December 8, 2024 17:42 21m 51s
Set Version: 1.0.78 Release #154: Commit acb7490 pushed by rv-jenkins
December 5, 2024 19:23 20m 23s release
release
December 5, 2024 19:23 20m 23s
Set Version: 1.0.77 Release #153: Commit 57bbf7f pushed by rv-jenkins
December 5, 2024 17:26 22m 7s release
release
December 5, 2024 17:26 22m 7s
Set Version: 1.0.76 Release #152: Commit a8fb289 pushed by rv-jenkins
December 4, 2024 14:53 20m 44s release
release
December 4, 2024 14:53 20m 44s
Set Version: 1.0.75 Release #151: Commit 131e396 pushed by rv-jenkins
December 3, 2024 17:44 22m 43s release
release
December 3, 2024 17:44 22m 43s
Set Version: 1.0.74 Release #150: Commit acca16f pushed by rv-jenkins
November 29, 2024 16:56 15m 56s release
release
November 29, 2024 16:56 15m 56s
Set Version: 1.0.73 Release #149: Commit af7957a pushed by rv-jenkins
November 27, 2024 18:29 23m 13s release
release
November 27, 2024 18:29 23m 13s
Set Version: 1.0.72 Release #148: Commit 751b4fd pushed by rv-jenkins
November 27, 2024 14:02 20m 53s release
release
November 27, 2024 14:02 20m 53s
Set Version: 1.0.71 Release #147: Commit d0f4a79 pushed by rv-jenkins
November 26, 2024 19:23 21m 3s release
release
November 26, 2024 19:23 21m 3s
Set Version: 1.0.70 Release #146: Commit b27ec1a pushed by rv-jenkins
November 26, 2024 15:27 20m 46s release
release
November 26, 2024 15:27 20m 46s
Set Version: 1.0.69 Release #145: Commit 3c57e4e pushed by rv-jenkins
November 26, 2024 10:27 21m 7s release
release
November 26, 2024 10:27 21m 7s
Set Version: 1.0.68 Release #144: Commit 8b53fa8 pushed by rv-jenkins
November 26, 2024 06:02 22m 26s release
release
November 26, 2024 06:02 22m 26s
Set Version: 1.0.67 Release #143: Commit 865beb5 pushed by rv-jenkins
November 22, 2024 05:43 20m 47s release
release
November 22, 2024 05:43 20m 47s
Set Version: 1.0.66 Release #142: Commit 405891c pushed by rv-jenkins
November 20, 2024 07:25 22m 30s release
release
November 20, 2024 07:25 22m 30s