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.690 Release #12: Commit c52ef69 pushed by rv-jenkins
August 17, 2024 14:33 29m 4s release
release
August 17, 2024 14:33 29m 4s
Set Version: 1.0.689 Release #11: Commit cf9b9cc pushed by rv-jenkins
August 16, 2024 19:22 32m 30s release
release
August 16, 2024 19:22 32m 30s
Set Version: 1.0.688 Release #10: Commit b42347a pushed by rv-jenkins
August 16, 2024 09:26 36m 54s release
release
August 16, 2024 09:26 36m 54s
Set Version: 1.0.687 Release #9: Commit 834c70e pushed by rv-jenkins
August 16, 2024 08:27 31m 3s release
release
August 16, 2024 08:27 31m 3s
Set Version: 1.0.686 Release #8: Commit e7f80ca pushed by rv-jenkins
August 15, 2024 00:59 1h 3m 41s release
release
August 15, 2024 00:59 1h 3m 41s
Set Version: 1.0.685 Release #7: Commit 017018e pushed by rv-jenkins
August 14, 2024 11:23 31m 7s release
release
August 14, 2024 11:23 31m 7s
Set Version: 1.0.684 Release #6: Commit 8ff80db pushed by rv-jenkins
August 14, 2024 10:02 30m 2s release
release
August 14, 2024 10:02 30m 2s
Set Version: 1.0.683 Release #5: Commit 64af3f3 pushed by rv-jenkins
August 14, 2024 05:46 32m 14s release
release
August 14, 2024 05:46 32m 14s
Set Version: 1.0.682 Release #4: Commit cb91fb4 pushed by rv-jenkins
August 13, 2024 13:42 36m 41s release
release
August 13, 2024 13:42 36m 41s
Set Version: 1.0.681 Release #3: Commit b4afee5 pushed by rv-jenkins
August 13, 2024 00:30 25m 55s release
release
August 13, 2024 00:30 25m 55s
Set Version: 1.0.680 Release #2: Commit fe30b7b pushed by rv-jenkins
August 10, 2024 20:41 28m 15s release
release
August 10, 2024 20:41 28m 15s
Enable Outside Collaborators to run test suite before PR's are review… Release #1: Commit 0b75078 pushed by F-WRunTime
August 9, 2024 20:32 27m 24s release
release
August 9, 2024 20:32 27m 24s