Code

Update dependency: deps/k_release#2648

Code

Merged

rv-jenkins merged 3 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardOct 18, 2024

+15-15

Commits

Commits on Oct 18, 2024

• deps/k_release: Set Version 7.1.163

  

  devops

  committed
  ec50234

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

  

  devops

  committed
  1805fd6

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

  

  devops

  committed
  4935620