Code

Update dependency: deps/k_release#2443

Code

Merged

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

+48-48

Commits

Commits on May 23, 2024

• deps/k_release: Set Version 7.0.86

  

  devops

  committed
  4275508

  Copy full SHA for 4275508

• Set Version: 1.0.569

  

  devops

  committed
  c195373

  Copy full SHA for c195373

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

  

  devops

  committed
  bcd5140

  Copy full SHA for bcd5140

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

  

  devops

  committed
  fefd646

  Copy full SHA for fefd646

• deps/k_release: Set Version 7.0.87

  

  devops

  committed
  dfa93a9

  Copy full SHA for dfa93a9

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

  

  devops

  committed
  18c331e

  Copy full SHA for 18c331e

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

  

  devops

  committed
  2c2a4cb

  Copy full SHA for 2c2a4cb

• deps/k_release: Set Version 7.0.88

  

  devops

  committed
  d58c023

  Copy full SHA for d58c023

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

  

  devops

  committed
  345791b

  Copy full SHA for 345791b

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

  

  devops

  committed
  b2fccd5

  Copy full SHA for b2fccd5

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

  

  devops

  committed
  74d45f4

  Copy full SHA for 74d45f4

• deps/k_release: Set Version 7.0.89

  

  devops

  committed
  81673ba

  Copy full SHA for 81673ba

• Set Version: 1.0.570

  

  devops

  committed
  eaf21bb

  Copy full SHA for eaf21bb

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

  

  devops

  committed
  36b5ff1

  Copy full SHA for 36b5ff1

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

  

  devops

  committed
  6907313

  Copy full SHA for 6907313