Skip to content

Actions: runtimeverification/kontrol

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 1.0.63 Release #139: Commit 7f84d40 pushed by rv-jenkins
November 11, 2024 10:27 20m 33s release
release
November 11, 2024 10:27 20m 33s
Set Version: 1.0.62 Release #138: Commit c2e939f pushed by rv-jenkins
November 9, 2024 11:02 20m 18s release
release
November 9, 2024 11:02 20m 18s
Set Version: 1.0.61 Release #137: Commit 839aad6 pushed by rv-jenkins
November 8, 2024 19:41 20m 25s release
release
November 8, 2024 19:41 20m 25s
Set Version: 1.0.60 Release #136: Commit 9cf83a0 pushed by rv-jenkins
November 8, 2024 16:44 21m 51s release
release
November 8, 2024 16:44 21m 51s
Set Version: 1.0.59 Release #135: Commit eeb5580 pushed by rv-jenkins
November 7, 2024 05:26 22m 28s release
release
November 7, 2024 05:26 22m 28s
Set Version: 1.0.58 Release #134: Commit 6a0c223 pushed by rv-jenkins
October 31, 2024 11:02 21m 42s release
release
October 31, 2024 11:02 21m 42s
Set Version: 1.0.57 Release #133: Commit 7d60967 pushed by rv-jenkins
October 24, 2024 05:55 21m 38s release
release
October 24, 2024 05:55 21m 38s
Set Version: 1.0.56 Release #132: Commit 0b88a60 pushed by rv-jenkins
October 21, 2024 17:25 19m 58s release
release
October 21, 2024 17:25 19m 58s
Set Version: 1.0.55 Release #131: Commit 9bb05b7 pushed by rv-jenkins
October 18, 2024 08:28 21m 53s release
release
October 18, 2024 08:28 21m 53s
Set Version: 1.0.54 Release #130: Commit 402b77d pushed by rv-jenkins
October 17, 2024 12:46 22m 12s release
release
October 17, 2024 12:46 22m 12s
Set Version: 1.0.53 Release #129: Commit 8b6c646 pushed by rv-jenkins
October 16, 2024 17:51 22m 16s release
release
October 16, 2024 17:51 22m 16s
Set Version: 1.0.52 Release #128: Commit 16e96b3 pushed by rv-jenkins
October 16, 2024 09:37 20m 42s release
release
October 16, 2024 09:37 20m 42s
Set Version: 1.0.51 Release #127: Commit 4b46496 pushed by rv-jenkins
October 15, 2024 14:43 20m 20s release
release
October 15, 2024 14:43 20m 20s
Set Version: 1.0.50 Release #126: Commit 81f63df pushed by rv-jenkins
October 12, 2024 15:18 20m 23s release
release
October 12, 2024 15:18 20m 23s
Set Version: 1.0.49 Release #125: Commit cf2967f pushed by rv-jenkins
October 11, 2024 00:33 20m 16s release
release
October 11, 2024 00:33 20m 16s
Set Version: 1.0.48 Release #124: Commit d4e6ee9 pushed by rv-jenkins
October 10, 2024 18:28 21m 58s release
release
October 10, 2024 18:28 21m 58s
Set Version: 1.0.47 Release #123: Commit f32b09c pushed by rv-jenkins
October 10, 2024 06:57 21m 30s release
release
October 10, 2024 06:57 21m 30s
Set Version: 1.0.46 Release #122: Commit 1bc3ff3 pushed by rv-jenkins
October 9, 2024 12:29 20m 13s release
release
October 9, 2024 12:29 20m 13s
Set Version: 1.0.45 Release #121: Commit 9b5ed7e pushed by rv-jenkins
October 9, 2024 08:44 20m 18s release
release
October 9, 2024 08:44 20m 18s
Set Version: 1.0.44 Release #120: Commit 474b1ae pushed by rv-jenkins
October 8, 2024 14:27 21m 47s release
release
October 8, 2024 14:27 21m 47s
Set Version: 1.0.43 Release #119: Commit fd42c91 pushed by rv-jenkins
October 7, 2024 19:22 20m 4s release
release
October 7, 2024 19:22 20m 4s
Set Version: 1.0.42 Release #118: Commit 436913f pushed by rv-jenkins
October 7, 2024 09:02 22m 53s release
release
October 7, 2024 09:02 22m 53s
Set Version: 1.0.41 Release #117: Commit f426417 pushed by rv-jenkins
October 4, 2024 10:28 22m 17s release
release
October 4, 2024 10:28 22m 17s
Set Version: 1.0.40 Release #116: Commit 90a1a67 pushed by rv-jenkins
October 4, 2024 06:02 11m 14s release
release
October 4, 2024 06:02 11m 14s
Set Version: 1.0.39 Release #115: Commit 73d4027 pushed by rv-jenkins
October 3, 2024 17:42 20m 23s release
release
October 3, 2024 17:42 20m 23s