Skip to content

Actions: runtimeverification/evm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
898 workflow runs
898 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
EIP-7951 - ECDSA signature verification over the secp256r1 elliptic curve Test PR #11476: Pull request #2837 synchronize by anvacaru
1h 43m 38s eip-7951
eip-7951
1h 43m 38s
eip-7825: transaction gas limit cap Test PR #11475: Pull request #2834 synchronize by anvacaru
1h 19m 15s eip-7825
eip-7825
1h 19m 15s
EIP 7823, 7883: ModExp precompile update Test PR #11474: Pull request #2833 synchronize by anvacaru
22m 33s eip-7883
eip-7883
22m 33s
pages build and deployment pages-build-deployment #874: by github-pages Bot
1m 54s gh-pages
gh-pages
1m 54s
Set Version: 1.0.915 Release #237: Commit 59ddadd pushed by deosa-arch
13m 7s release
release
13m 7s
evm-semantics/evm.md: rewrite #transferFunds same-account rule, move … Bump Version and Start Release Job #1058: Commit fb58d3b pushed by automergerpr-permission-manager Bot
14s master
master
14s
evm-semantics/evm.md: rewrite #transferFunds rule to be linear Test PR #11473: Pull request #2862 opened by ehildenb
1h 32m 22s remove-nonlinear-rule
remove-nonlinear-rule
1h 32m 22s
pages build and deployment pages-build-deployment #873: by github-pages Bot
1m 48s gh-pages
gh-pages
1m 48s
Set Version: 1.0.914 Release #236: Commit 05bcbba pushed by deosa-arch
13m 16s release
release
13m 16s
Graph Update: uv in /kevm-pyk #1409230275 Dependency Graph #10: by dependabot Bot
1m 44s master
master
1m 44s
Update dependency: deps/k_release (#2861) Bump Version and Start Release Job #1057: Commit 5341453 pushed by ehildenb
14s master
master
14s
Update dependency: deps/k_release Test PR #11472: Pull request #2861 synchronize by deosa-arch
1h 17m 45s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 17m 45s
flake.{nix,lock}: update Nix derivations Update Version #4124: Commit 98af24d pushed by deosa-arch
2m 8s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 8s
Update dependency: deps/k_release Test PR #11471: Pull request #2861 opened by rv-jenkins
2m 44s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 44s
deps/k_release: Set Version 7.1.334 Update Version #4123: Commit fb83bba pushed by deosa-arch
2m 14s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 14s
pages build and deployment pages-build-deployment #872: by github-pages Bot
2m 12s gh-pages
gh-pages
2m 12s
Set Version: 1.0.913 Release #235: Commit 3ab9c51 pushed by deosa-arch
12m 56s release
release
12m 56s
Simplification lemmas to improve Haskell booster coverage (#2859) Bump Version and Start Release Job #1056: Commit b460c09 pushed by ehildenb
18s master
master
18s
Simplification lemmas to improve Haskell booster coverage Test PR #11470: Pull request #2859 synchronize by ehildenb
1h 22m 37s lemmas-tier1
lemmas-tier1
1h 22m 37s
pages build and deployment pages-build-deployment #871: by github-pages Bot
1m 59s gh-pages
gh-pages
1m 59s
Set Version: 1.0.912 Release #234: Commit c8ec904 pushed by deosa-arch
15m 42s release
release
15m 42s
.github/workflows/release.yml: build KEVM once and populate both nix … Bump Version and Start Release Job #1055: Commit 5388c8d pushed by automergerpr-permission-manager Bot
14s master
master
14s
Simplification lemmas to improve Haskell booster coverage Test PR #11469: Pull request #2859 synchronize by ehildenb
1h 45m 36s lemmas-tier1
lemmas-tier1
1h 45m 36s
Build KEVM once per architecture in release, populate both nix caches from it Test PR #11468: Pull request #2860 opened by ehildenb
2h 39m 54s nix-optimization
nix-optimization
2h 39m 54s
Simplification lemmas to improve Haskell booster coverage Test PR #11467: Pull request #2859 synchronize by ehildenb
2h 30m 45s lemmas-tier1
lemmas-tier1
2h 30m 45s