Code

Update dependency: deps/k_release#2412

Code

Merged

rv-jenkins merged 4 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardMay 6, 2024

+19-19

Commits

Commits on May 3, 2024

• deps/k_release: Set Version 7.0.41

  

  devops

  committed
  909949d

  Copy full SHA for 909949d

• Set Version: 1.0.542

  

  devops

  committed
  0dc479b

  Copy full SHA for 0dc479b

• kevm-pyk/: sync poetry files pyk version v7.0.41

  

  devops

  committed
  2b7844c

  Copy full SHA for 2b7844c

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

  

  devops

  committed
  0caa737

  Copy full SHA for 0caa737