Update dependency: deps/k_release#2774

Merged

ehildenb merged 13 commits intomasterfrom

_update-deps/runtimeverification/k

Jul 3, 2025

Commits on Jun 20, 2025

deps/k_release: Set Version 7.1.270
rv-auditor
committed

Commits on Jun 23, 2025

deps/k_release: Set Version 7.1.271
rv-auditor
committed

Commits on Jun 28, 2025

Merge branch 'master' into _update-deps/runtimeverification/k
anvacaru
authored

Commits on Jul 3, 2025