Code

Update dependency: deps/k_release#2638

Code

Merged

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

+36-36

Commits

Commits on Oct 7, 2024

• deps/k_release: Set Version 7.1.154

  

  devops

  committed
  ff39293

  Copy full SHA for ff39293

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

  

  devops

  committed
  293e2bd

  Copy full SHA for 293e2bd

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

  

  devops

  committed
  d64d2e5

  Copy full SHA for d64d2e5

• deps/k_release: Set Version 7.1.155

  

  devops

  committed
  896c2cd

  Copy full SHA for 896c2cd

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

  

  devops

  committed
  63faf7e

  Copy full SHA for 63faf7e

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

  

  devops

  committed
  06c4da5

  Copy full SHA for 06c4da5

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

  ehildenb

  committed
  3c2d9fb

  Copy full SHA for 3c2d9fb

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

  

  devops

  committed
  62b9486

  Copy full SHA for 62b9486