Skip to content

Actions: runtimeverification/evm-semantics

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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