Code

Update dependency: deps/k_release#427

Code

Merged

dkcumming merged 4 commits intomasterruntimeverification/mir-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/mir-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardOct 23, 2024

+130-129

Commits

Commits on Oct 23, 2024

• deps/k_release: Set Version 7.1.165

  

  devops

  committed
  b1617c2

  Copy full SHA for b1617c2

• Set Version: 0.3.54

  

  devops

  committed
  5bbcfb7

  Copy full SHA for 5bbcfb7

• kmir/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  436d198

  Copy full SHA for 436d198

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

  

  devops

  committed
  368e558

  Copy full SHA for 368e558