Skip to content

Actions: runtimeverification/evm-semantics

Actions

Bump Version and Start Release Job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
96 workflow runs
96 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Cachix workaround & push kevm to k-framework-binary cachix (#2841) Bump Version and Start Release Job #1041: Commit 0640b39 pushed by automergerpr-permission-manager Bot
15s master
master
15s
pass node_id to custom_step (#2840) Bump Version and Start Release Job #1040: Commit f202a4d pushed by automergerpr-permission-manager Bot
13s master
master
13s
Update dependency: deps/k_release (#2839) Bump Version and Start Release Job #1039: Commit 46c3791 pushed by automergerpr-permission-manager Bot
13s master
master
13s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2838) Bump Version and Start Release Job #1038: Commit 33cacc8 pushed by automergerpr-permission-manager Bot
14s master
master
14s
Update dependency: deps/k_release (#2836) Bump Version and Start Release Job #1037: Commit d2b9df6 pushed by automergerpr-permission-manager Bot
12s master
master
12s
Download the fixtures_develop test suite (#2831) Bump Version and Start Release Job #1036: Commit 3207259 pushed by automergerpr-permission-manager Bot
12s master
master
12s
Fix side condition in new simplification for mcd-structured (#2830) Bump Version and Start Release Job #1035: Commit 8e5c626 pushed by jberthold
15s master
master
15s
eip-7939: implement the CLZ opcode (#2825) Bump Version and Start Release Job #1034: Commit e128e47 pushed by anvacaru
13s master
master
13s
Define the Osaka hardfork and bump the version of the execution-spec-… Bump Version and Start Release Job #1033: Commit 22d61de pushed by automergerpr-permission-manager Bot
12s master
master
12s
Update dependency: deps/uv2nix (#2826) Bump Version and Start Release Job #1032: Commit 3340e8e pushed by automergerpr-permission-manager Bot
15s master
master
15s
add simplification to mcd-structured verification module (buf ==K nul… Bump Version and Start Release Job #1031: Commit 6fffef3 pushed by automergerpr-permission-manager Bot
14s master
master
14s
Update dependency: deps/pyproject-build-systems (#2827) Bump Version and Start Release Job #1030: Commit d46a9db pushed by automergerpr-permission-manager Bot
13s master
master
13s
Remove GST test chaining from driver.md (#2822) Bump Version and Start Release Job #1029: Commit 1e4dda8 pushed by automergerpr-permission-manager Bot
12s master
master
12s
Refactor network initialization for GST tests (#2821) Bump Version and Start Release Job #1028: Commit f5deb06 pushed by automergerpr-permission-manager Bot
13s master
master
13s
Implement a unified flow across all entry points for GST processing (… Bump Version and Start Release Job #1027: Commit 5b29b38 pushed by automergerpr-permission-manager Bot
22s master
master
22s
Minor tweaks to the test harness (#2819) Bump Version and Start Release Job #1026: Commit 306ef67 pushed by anvacaru
12s master
master
12s
update check rules for SetCode transactions (#2818) Bump Version and Start Release Job #1025: Commit 21fde76 pushed by automergerpr-permission-manager Bot
12s master
master
12s
Disable unsupported conformance test-suites (#2817) Bump Version and Start Release Job #1024: Commit 0d52fed pushed by automergerpr-permission-manager Bot
14s master
master
14s
Remove duplicated package from flake.nix (#2815) Bump Version and Start Release Job #1023: Commit 225a508 pushed by automergerpr-permission-manager Bot
27s master
master
27s
Update dependency: deps/k_release (#2813) Bump Version and Start Release Job #1022: Commit d376295 pushed by automergerpr-permission-manager Bot
14s master
master
14s
restrict MIXHASH_CELL to range_uint 256 (#2814) Bump Version and Start Release Job #1021: Commit f9b05e7 pushed by automergerpr-permission-manager Bot
13s master
master
13s
Update dependency: deps/uv2nix (#2811) Bump Version and Start Release Job #1020: Commit 4ad8de5 pushed by automergerpr-permission-manager Bot
15s master
master
15s
Update dependency: deps/pyproject-build-systems (#2812) Bump Version and Start Release Job #1019: Commit 2898cf0 pushed by automergerpr-permission-manager Bot
11s master
master
11s
Update dependency: deps/k_release (#2810) Bump Version and Start Release Job #1018: Commit d808c69 pushed by automergerpr-permission-manager Bot
13s master
master
13s
web/k-web-theme: Set Version b2aa636ad6a42fa9d23c09f3791529cf3eab591a… Bump Version and Start Release Job #1017: Commit ea39b6a pushed by automergerpr-permission-manager Bot
15s master
master
15s