Code

Update dependency: deps/k_release#2695

Code

Merged

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

+29-26

Commits

Commits on Jan 27, 2025

• deps/k_release: Set Version 7.1.208

  

  devops

  committed
  19b59ff

  Copy full SHA for 19b59ff

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

  

  devops

  committed
  a932176

  Copy full SHA for a932176

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

  

  devops

  committed
  71bcca6

  Copy full SHA for 71bcca6

Commits on Jan 28, 2025

• Merge branch 'master' into _update-deps/runtimeverification/k

  automergerpr-permission-manager[bot]

  authored
  10e7ab8

  Copy full SHA for 10e7ab8

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

  

  devops

  committed
  c2fd1d5

  Copy full SHA for c2fd1d5

• fix formatting

  anvacaru

  committed
  583a68d

  Copy full SHA for 583a68d