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.765 Release #87: Commit 664815d pushed by rv-jenkins
December 18, 2024 08:28 44m 50s release
release
December 18, 2024 08:28 44m 50s
Set Version: 1.0.764 Release #86: Commit a53872b pushed by rv-jenkins
December 17, 2024 12:02 32m 42s release
release
December 17, 2024 12:02 32m 42s
Set Version: 1.0.763 Release #85: Commit 022eda8 pushed by rv-jenkins
December 17, 2024 07:26 33m 37s release
release
December 17, 2024 07:26 33m 37s
Set Version: 1.0.762 Release #84: Commit 8af46a6 pushed by rv-jenkins
December 16, 2024 19:23 36m 9s release
release
December 16, 2024 19:23 36m 9s
Set Version: 1.0.761 Release #83: Commit a47d708 pushed by rv-jenkins
December 16, 2024 15:22 45m 40s release
release
December 16, 2024 15:22 45m 40s
Set Version: 1.0.760 Release #82: Commit b77287f pushed by rv-jenkins
December 11, 2024 06:34 40m 58s release
release
December 11, 2024 06:34 40m 58s
Set Version: 1.0.759 Release #81: Commit b608c9f pushed by rv-jenkins
December 5, 2024 16:57 42m 35s release
release
December 5, 2024 16:57 42m 35s
Set Version: 1.0.758 Release #80: Commit 81810ea pushed by rv-jenkins
December 5, 2024 14:55 1h 9m 26s release
release
December 5, 2024 14:55 1h 9m 26s
Set Version: 1.0.757 Release #79: Commit 03b0358 pushed by rv-jenkins
November 29, 2024 09:26 36m 23s release
release
November 29, 2024 09:26 36m 23s
Set Version: 1.0.756 Release #78: Commit d5ef86f pushed by rv-jenkins
November 28, 2024 07:20 55m 23s release
release
November 28, 2024 07:20 55m 23s
Set Version: 1.0.755 Release #77: Commit 47e9ce6 pushed by rv-jenkins
November 26, 2024 17:30 30m 53s release
release
November 26, 2024 17:30 30m 53s
Set Version: 1.0.754 Release #76: Commit 39eecdc pushed by rv-jenkins
November 26, 2024 08:00 1h 5m 55s release
release
November 26, 2024 08:00 1h 5m 55s
Set Version: 1.0.753 Release #75: Commit d1b56d6 pushed by rv-jenkins
November 14, 2024 12:29 58m 17s release
release
November 14, 2024 12:29 58m 17s
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