Code

Update dependency: deps/k_release#2699

Code

Merged

automergerpr-permission-manager[bot] merged 3 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardFeb 3, 2025

+502-42

Commits

Commits on Feb 3, 2025

• deps/k_release: Set Version 7.1.210

  

  devops

  committed
  9337805

  Copy full SHA for 9337805

• kevm-pyk/: sync poetry files pyk version 7.1.210

  

  devops

  committed
  030863f

  Copy full SHA for 030863f

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

  

  devops

  committed
  6e80dfb

  Copy full SHA for 6e80dfb