Skip to content

Actions: runtimeverification/evm-semantics

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 1.0.753 Release #75: Commit d1b56d6 pushed by rv-jenkins
November 14, 2024 12:29 In progress release
release
November 14, 2024 12:29 In progress
Set Version: 1.0.752 Release #74: Commit 0e4e39e pushed by rv-jenkins
November 8, 2024 17:52 36m 9s release
release
November 8, 2024 17:52 36m 9s
Set Version: 1.0.751 Release #73: Commit 958ad31 pushed by rv-jenkins
November 7, 2024 02:06 38m 54s release
release
November 7, 2024 02:06 38m 54s
Set Version: 1.0.750 Release #72: Commit e4e1d9a pushed by rv-jenkins
October 31, 2024 08:43 59m 49s release
release
October 31, 2024 08:43 59m 49s
Set Version: 1.0.749 Release #71: Commit eedcdd9 pushed by rv-jenkins
October 29, 2024 20:26 1h 2m 31s release
release
October 29, 2024 20:26 1h 2m 31s
Set Version: 1.0.748 Release #70: Commit fdeec21 pushed by rv-jenkins
October 23, 2024 22:26 31m 25s release
release
October 23, 2024 22:26 31m 25s
Set Version: 1.0.747 Release #69: Commit 2dfe525 pushed by rv-jenkins
October 18, 2024 06:44 51m 48s release
release
October 18, 2024 06:44 51m 48s
Set Version: 1.0.746 Release #68: Commit d81f9a9 pushed by rv-jenkins
October 17, 2024 13:03 37m 31s release
release
October 17, 2024 13:03 37m 31s
Set Version: 1.0.745 Release #67: Commit 5f4dd25 pushed by rv-jenkins
October 17, 2024 10:01 44m 32s release
release
October 17, 2024 10:01 44m 32s
Set Version: 1.0.744 Release #66: Commit 08fca16 pushed by rv-jenkins
October 15, 2024 09:26 38m 43s release
release
October 15, 2024 09:26 38m 43s
Set Version: 1.0.743 Release #65: Commit 1791e04 pushed by rv-jenkins
October 12, 2024 12:56 37m 47s release
release
October 12, 2024 12:56 37m 47s
Set Version: 1.0.742 Release #64: Commit f62ec95 pushed by rv-jenkins
October 10, 2024 17:01 39m 19s release
release
October 10, 2024 17:01 39m 19s
Set Version: 1.0.741 Release #63: Commit 5f1fd82 pushed by rv-jenkins
October 10, 2024 13:42 35m 32s release
release
October 10, 2024 13:42 35m 32s
Set Version: 1.0.740 Release #62: Commit 71287d5 pushed by rv-jenkins
October 10, 2024 05:01 36m 47s release
release
October 10, 2024 05:01 36m 47s
Set Version: 1.0.739 Release #61: Commit 18184bb pushed by rv-jenkins
October 9, 2024 10:01 29m 14s release
release
October 9, 2024 10:01 29m 14s
Set Version: 1.0.738 Release #60: Commit e6fd2a9 pushed by rv-jenkins
October 8, 2024 19:21 38m 11s release
release
October 8, 2024 19:21 38m 11s
Set Version: 1.0.737 Release #59: Commit 2dafcb4 pushed by rv-jenkins
October 8, 2024 12:51 30m 14s release
release
October 8, 2024 12:51 30m 14s
Set Version: 1.0.736 Release #58: Commit 4baa7db pushed by rv-jenkins
October 7, 2024 21:41 34m 23s release
release
October 7, 2024 21:41 34m 23s
Set Version: 1.0.735 Release #57: Commit d8ffec3 pushed by rv-jenkins
October 7, 2024 16:28 42m 24s release
release
October 7, 2024 16:28 42m 24s
Set Version: 1.0.734 Release #56: Commit 8d3ac62 pushed by rv-jenkins
October 7, 2024 07:41 35m 48s release
release
October 7, 2024 07:41 35m 48s
Set Version: 1.0.733 Release #55: Commit 40a9b44 pushed by rv-jenkins
October 3, 2024 19:02 38m 18s release
release
October 3, 2024 19:02 38m 18s
Set Version: 1.0.732 Release #54: Commit c0ae8d3 pushed by rv-jenkins
October 1, 2024 08:28 30m 52s release
release
October 1, 2024 08:28 30m 52s
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