Skip to content

Actions: runtimeverification/evm-semantics

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Set Version: 1.0.706 Release #28: Commit b33854c pushed by rv-jenkins
September 2, 2024 10:01 33m 14s release
release
September 2, 2024 10:01 33m 14s
Set Version: 1.0.705 Release #27: Commit d0204ee pushed by rv-jenkins
August 30, 2024 11:23 42m 7s release
release
August 30, 2024 11:23 42m 7s
Set Version: 1.0.704 Release #26: Commit 63dd054 pushed by rv-jenkins
August 29, 2024 12:29 30m 55s release
release
August 29, 2024 12:29 30m 55s
Set Version: 1.0.703 Release #25: Commit 744f94c pushed by rv-jenkins
August 28, 2024 20:25 32m 29s release
release
August 28, 2024 20:25 32m 29s
Set Version: 1.0.702 Release #24: Commit b4e4c18 pushed by rv-jenkins
August 28, 2024 07:41 32m 38s release
release
August 28, 2024 07:41 32m 38s
Set Version: 1.0.701 Release #23: Commit 7b9b431 pushed by rv-jenkins
August 27, 2024 05:19 28m 34s release
release
August 27, 2024 05:19 28m 34s
Set Version: 1.0.700 Release #22: Commit a7209a5 pushed by rv-jenkins
August 26, 2024 13:41 30m 43s release
release
August 26, 2024 13:41 30m 43s
Set Version: 1.0.699 Release #21: Commit db6b7b3 pushed by rv-jenkins
August 25, 2024 07:22 58m 46s release
release
August 25, 2024 07:22 58m 46s
Set Version: 1.0.698 Release #20: Commit c3b0be5 pushed by rv-jenkins
August 23, 2024 17:34 29m 17s release
release
August 23, 2024 17:34 29m 17s
Set Version: 1.0.697 Release #19: Commit 99f5016 pushed by rv-jenkins
August 22, 2024 11:41 29m 3s release
release
August 22, 2024 11:41 29m 3s
Set Version: 1.0.696 Release #18: Commit 2dcdbc5 pushed by rv-jenkins
August 22, 2024 09:24 41m 46s release
release
August 22, 2024 09:24 41m 46s
Set Version: 1.0.695 Release #17: Commit 49833a6 pushed by rv-jenkins
August 22, 2024 07:02 33m 19s release
release
August 22, 2024 07:02 33m 19s
Set Version: 1.0.694 Release #16: Commit 9c36a3e pushed by rv-jenkins
August 21, 2024 15:01 59m 20s release
release
August 21, 2024 15:01 59m 20s
Set Version: 1.0.693 Release #15: Commit ea90149 pushed by rv-jenkins
August 21, 2024 13:05 38m 10s release
release
August 21, 2024 13:05 38m 10s
Set Version: 1.0.692 Release #14: Commit 1baec38 pushed by rv-jenkins
August 20, 2024 10:38 28m 51s release
release
August 20, 2024 10:38 28m 51s
Set Version: 1.0.691 Release #13: Commit ce125ae pushed by rv-jenkins
August 20, 2024 09:39 37m 55s release
release
August 20, 2024 09:39 37m 55s