Skip to content

Actions: runtimeverification/evm-semantics

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
412 workflow runs
412 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
Update dependency: deps/k_release Test PR #11388: Pull request #2836 synchronize by rv-jenkins
2m 28s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 28s
Update dependency: deps/k_release Test PR #11387: Pull request #2836 synchronize by jberthold
2h 18m 28s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2h 18m 28s
Update dependency: deps/k_release Test PR #11386: Pull request #2836 synchronize by rv-jenkins
16m 55s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
16m 55s
Update dependency: deps/k_release Test PR #11385: Pull request #2836 synchronize by jberthold
2m 21s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 21s
EIP-7951 - ECDSA signature verification over the secp256r1 elliptic curve Test PR #11384: Pull request #2837 opened by anvacaru
6m 59s eip-7951
eip-7951
6m 59s
Update dependency: deps/k_release Test PR #11383: Pull request #2836 synchronize by rv-jenkins
55m 58s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
55m 58s
Update dependency: deps/k_release Test PR #11382: Pull request #2836 opened by rv-jenkins
2m 57s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 57s
eip-7825: transaction gas limit cap Test PR #11381: Pull request #2834 synchronize by anvacaru
1h 19m 58s eip-7825
eip-7825
1h 19m 58s
eip-7918: blob base fee bounded by execution cost Test PR #11380: Pull request #2835 synchronize by anvacaru
33m 42s eip-7918
eip-7918
33m 42s
eip-7918: blob base fee bounded by execution cost Test PR #11379: Pull request #2835 synchronize by anvacaru
1h 15m 7s eip-7918
eip-7918
1h 15m 7s
eip-7918: blob base fee bounded by execution cost Test PR #11378: Pull request #2835 opened by anvacaru
1h 19m 15s eip-7918
eip-7918
1h 19m 15s
eip-7825: transaction gas limit cap Test PR #11377: Pull request #2834 opened by anvacaru
1h 1m 16s eip-7825
eip-7825
1h 1m 16s
EIP 7823, 7883: ModExp precompile update Test PR #11376: Pull request #2833 synchronize by anvacaru
1h 7m 35s eip-7883
eip-7883
1h 7m 35s
EIP 7823, 7883: ModExp precompile update Test PR #11375: Pull request #2833 synchronize by anvacaru
1h 43m 1s eip-7883
eip-7883
1h 43m 1s
EIP 7823, 7883: ModExp precompile update Test PR #11374: Pull request #2833 opened by anvacaru
1h 25m 20s eip-7883
eip-7883
1h 25m 20s
Download the fixtures_develop test suite Test PR #11373: Pull request #2831 synchronize by anvacaru
55m 1s fixture_develop
fixture_develop
55m 1s
Download the fixtures_develop test suite Test PR #11372: Pull request #2831 opened by anvacaru
1h 13m 3s fixture_develop
fixture_develop
1h 13m 3s
Fix side condition in new simplification for mcd-structured Test PR #11371: Pull request #2830 synchronize by jberthold
1h 9m 9s fix-mcd-structured-simplification
fix-mcd-structured-simplification
1h 9m 9s
Fix side condition in new simplification for mcd-structured Test PR #11370: Pull request #2830 synchronize by jberthold
3m 51s fix-mcd-structured-simplification
fix-mcd-structured-simplification
3m 51s
Fix side condition in new simplification for mcd-structured Test PR #11369: Pull request #2830 opened by jberthold
10m 29s fix-mcd-structured-simplification
fix-mcd-structured-simplification
10m 29s
Refactor #isPrecompiledAccount to support non-consecutive accounts Test PR #11368: Pull request #2829 opened by anvacaru
1h 45m 18s precompiled-harness
precompiled-harness
1h 45m 18s
eip-7939: implement the CLZ opcode Test PR #11367: Pull request #2825 synchronize by anvacaru
1h 41m 5s eip-7939
eip-7939
1h 41m 5s
eip-7939: implement the CLZ opcode Test PR #11366: Pull request #2825 synchronize by anvacaru
1h 26m 46s eip-7939
eip-7939
1h 26m 46s
Define the Osaka hardfork and bump the version of the execution-spec-tests test-suite Test PR #11365: Pull request #2823 synchronize by anvacaru
1h 33m 28s fusaka-fixture
fusaka-fixture
1h 33m 28s
Update dependency: deps/uv2nix Test PR #11364: Pull request #2826 synchronize by anvacaru
1h 10m 41s _update-deps-cron/uv2nix
_update-deps-cron/uv2nix
1h 10m 41s