Skip to content

Actions: runtimeverification/evm-semantics

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 1.0.731 Release #53: Commit 0876d49 pushed by rv-jenkins
September 26, 2024 12:29 48m 47s release
release
September 26, 2024 12:29 48m 47s
Set Version: 1.0.730 Release #52: Commit 6766971 pushed by rv-jenkins
September 25, 2024 19:37 34m 37s release
release
September 25, 2024 19:37 34m 37s
Set Version: 1.0.729 Release #51: Commit b499f06 pushed by rv-jenkins
September 25, 2024 16:02 50m 19s release
release
September 25, 2024 16:02 50m 19s
Set Version: 1.0.728 Release #50: Commit 64f83fd pushed by rv-jenkins
September 25, 2024 07:24 32m 33s release
release
September 25, 2024 07:24 32m 33s
Set Version: 1.0.727 Release #49: Commit 2e0cae4 pushed by rv-jenkins
September 19, 2024 05:26 34m 48s release
release
September 19, 2024 05:26 34m 48s
Set Version: 1.0.726 Release #48: Commit b10aacf pushed by rv-jenkins
September 18, 2024 21:53 48m 27s release
release
September 18, 2024 21:53 48m 27s
Set Version: 1.0.725 Release #47: Commit 692593f pushed by rv-jenkins
September 18, 2024 11:33 36m 31s release
release
September 18, 2024 11:33 36m 31s
Set Version: 1.0.724 Release #46: Commit 4d7f075 pushed by rv-jenkins
September 18, 2024 10:30 38m 8s release
release
September 18, 2024 10:30 38m 8s
Set Version: 1.0.723 Release #45: Commit 754283a pushed by rv-jenkins
September 17, 2024 20:26 35m 21s release
release
September 17, 2024 20:26 35m 21s
Set Version: 1.0.722 Release #44: Commit 704f554 pushed by rv-jenkins
September 16, 2024 17:05 30m 18s release
release
September 16, 2024 17:05 30m 18s
Set Version: 1.0.721 Release #43: Commit 63979a8 pushed by rv-jenkins
September 12, 2024 21:41 38m 45s release
release
September 12, 2024 21:41 38m 45s
Set Version: 1.0.720 Release #42: Commit 7fc42a6 pushed by rv-jenkins
September 11, 2024 14:42 36m 56s release
release
September 11, 2024 14:42 36m 56s
Set Version: 1.0.719 Release #41: Commit 5337e60 pushed by rv-jenkins
September 10, 2024 17:23 30m 4s release
release
September 10, 2024 17:23 30m 4s
Set Version: 1.0.718 Release #40: Commit d8928b5 pushed by rv-jenkins
September 10, 2024 11:23 36m 2s release
release
September 10, 2024 11:23 36m 2s
Set Version: 1.0.717 Release #39: Commit 05c76ee pushed by rv-jenkins
September 10, 2024 07:24 41m 0s release
release
September 10, 2024 07:24 41m 0s
Set Version: 1.0.716 Release #38: Commit 1156468 pushed by rv-jenkins
September 10, 2024 06:20 39m 3s release
release
September 10, 2024 06:20 39m 3s
Set Version: 1.0.715 Release #37: Commit d2743b8 pushed by rv-jenkins
September 9, 2024 15:59 37m 27s release
release
September 9, 2024 15:59 37m 27s
Set Version: 1.0.714 Release #36: Commit 791f708 pushed by rv-jenkins
September 7, 2024 11:01 31m 16s release
release
September 7, 2024 11:01 31m 16s
Set Version: 1.0.713 Release #35: Commit 078a65b pushed by rv-jenkins
September 7, 2024 00:31 35m 23s release
release
September 7, 2024 00:31 35m 23s
Set Version: 1.0.712 Release #34: Commit f8a5d55 pushed by rv-jenkins
September 6, 2024 17:01 30m 27s release
release
September 6, 2024 17:01 30m 27s
Set Version: 1.0.711 Release #33: Commit 53dba4d pushed by rv-jenkins
September 6, 2024 10:37 28m 58s release
release
September 6, 2024 10:37 28m 58s
Set Version: 1.0.710 Release #32: Commit 5f597bf pushed by rv-jenkins
September 6, 2024 07:23 33m 28s release
release
September 6, 2024 07:23 33m 28s
Set Version: 1.0.709 Release #31: Commit 5c533d3 pushed by rv-jenkins
September 5, 2024 16:22 33m 27s release
release
September 5, 2024 16:22 33m 27s
Set Version: 1.0.708 Release #30: Commit 430108d pushed by rv-jenkins
September 5, 2024 05:04 37m 27s release
release
September 5, 2024 05:04 37m 27s
Set Version: 1.0.707 Release #29: Commit 6be9c54 pushed by rv-jenkins
September 4, 2024 10:26 36m 40s release
release
September 4, 2024 10:26 36m 40s