Update dependency: deps/k_release - #1087

Merged

automergerpr-permission-manager[bot] merged 6 commits into

_update-deps/runtimeverification/k

Jun 17, 2026

Commits on Jun 11, 2026

deps/k_release: Set Version 7.1.334
rv-auditor
committed
911a852
kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.334
rv-auditor
committed
0d803e3
flake.{nix,lock}: update Nix derivations
rv-auditor
committed
a038c55

Commits on Jun 17, 2026

deps/k_release: Set Version 7.1.335
rv-auditor
committed
4ad9eb1
kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.335
rv-auditor
committed
cb05777
flake.{nix,lock}: update Nix derivations
rv-auditor
committed
07d1a77