Skip to content

Update dependency: deps/kevm_release#1139

Merged
tothtamas28 merged 9 commits into
masterfrom
_update-deps/runtimeverification/evm-semantics
May 12, 2026
Merged

Update dependency: deps/kevm_release#1139
tothtamas28 merged 9 commits into
masterfrom
_update-deps/runtimeverification/evm-semantics

Pin `foundry` version in `Dockerfile`

15cffe0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Update Dependency Versions
succeeded May 12, 2026 in 1m 40s