Code

Update dependency: deps/k_release#2684

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 clipboardJan 17, 2025

+22-22

Commits

Commits on Jan 17, 2025

• deps/k_release: Set Version 7.1.199

  

  devops

  committed
  67c5ef6

  Copy full SHA for 67c5ef6

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

  

  devops

  committed
  92d77c1

  Copy full SHA for 92d77c1

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

  

  devops

  committed
  8302f7e

  Copy full SHA for 8302f7e