Code

Update dependency: deps/kevm_release#930

Code

Merged

automergerpr-permission-manager[bot] merged 3 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardJan 16, 2025

+14-14

Commits

Commits on Jan 16, 2025

• deps/kevm_release: Set Version 1.0.772

  

  devops

  committed
  c5f53fe

  Copy full SHA for c5f53fe

• Sync Poetry files: kevm-pyk version 1.0.772

  

  devops

  committed
  bfcd465

  Copy full SHA for bfcd465

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  4a60749

  Copy full SHA for 4a60749