Code

Update dependency: deps/k_release#433

Code

Open

rv-jenkins wants to merge 24 commits intomasterruntimeverification/mir-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/mir-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboard

+93-94

Commits

Commits on Jan 7, 2025

• deps/k_release: Set Version 7.1.194

  

  devops

  committed
  cbaf7f7

  Copy full SHA for cbaf7f7

• Set Version: 0.3.61

  

  devops

  committed
  ce1870f

  Copy full SHA for ce1870f

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

  

  devops

  committed
  2171934

  Copy full SHA for 2171934

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

  

  devops

  committed
  ba7b901

  Copy full SHA for ba7b901

• deps/k_release: Set Version 7.1.195

  

  devops

  committed
  c5215d4

  Copy full SHA for c5215d4

• deps/k_release: Set Version 7.1.196

  

  devops

  committed
  ee02dee

  Copy full SHA for ee02dee

Commits on Jan 14, 2025

• deps/k_release: Set Version 7.1.198

  

  devops

  committed
  bcbda09

  Copy full SHA for bcbda09

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

  

  devops

  committed
  5347a96

  Copy full SHA for 5347a96

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

  

  devops

  committed
  748ceb2

  Copy full SHA for 748ceb2

Commits on Jan 16, 2025

• deps/k_release: Set Version 7.1.199

  

  devops

  committed
  a25f258

  Copy full SHA for a25f258

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

  

  devops

  committed
  851e17c

  Copy full SHA for 851e17c

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

  

  devops

  committed
  51c9bee

  Copy full SHA for 51c9bee

Commits on Jan 17, 2025

• deps/k_release: Set Version 7.1.201

  

  devops

  committed
  8a4d894

  Copy full SHA for 8a4d894

Commits on Jan 20, 2025

• deps/k_release: Set Version 7.1.202

  

  devops

  committed
  842da2c

  Copy full SHA for 842da2c

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

  

  devops

  committed
  e00ab74

  Copy full SHA for e00ab74

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

  

  devops

  committed
  f40a014

  Copy full SHA for f40a014

• deps/k_release: Set Version 7.1.203

  

  devops

  committed
  24c1630

  Copy full SHA for 24c1630

• deps/k_release: Set Version 7.1.204

  

  devops

  committed
  7886b78

  Copy full SHA for 7886b78

• deps/k_release: Set Version 7.1.205

  

  devops

  committed
  89c8c8d

  Copy full SHA for 89c8c8d

Commits on Jan 23, 2025

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

  

  devops

  committed
  11e166c

  Copy full SHA for 11e166c

• deps/k_release: Set Version 7.1.207

  

  devops

  committed
  80c1574

  Copy full SHA for 80c1574

• Set Version: 0.3.62

  

  devops

  committed
  98aabbf

  Copy full SHA for 98aabbf

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

  

  devops

  committed
  8cb8132

  Copy full SHA for 8cb8132

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

  

  devops

  committed
  26c48d9

  Copy full SHA for 26c48d9