Code

Update dependency: deps/k_release#2448

Code

Merged

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

+23-23

Commits

Commits on May 27, 2024

• deps/k_release: Set Version 7.0.97

  

  devops

  committed
  8960e0a

  Copy full SHA for 8960e0a

• Set Version: 1.0.575

  

  devops

  committed
  6d1eba8

  Copy full SHA for 6d1eba8

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

  

  devops

  committed
  ca98b51

  Copy full SHA for ca98b51

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

  

  devops

  committed
  403d2ea

  Copy full SHA for 403d2ea

Commits on May 28, 2024

• deps/k_release: Set Version 7.0.98

  

  devops

  committed
  bdf56e0

  Copy full SHA for bdf56e0

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

  

  devops

  committed
  928a196

  Copy full SHA for 928a196

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

  

  devops

  committed
  18d3b8f

  Copy full SHA for 18d3b8f