Skip to content

Update dependency: deps/k_release#216

Open
rv-jenkins wants to merge 53 commits intomasterfrom
_update-deps/runtimeverification/k
Open

Update dependency: deps/k_release#216
rv-jenkins wants to merge 53 commits intomasterfrom
_update-deps/runtimeverification/k

Conversation

@rv-jenkins
Copy link
Contributor

No description provided.

@palinatolmach
Copy link
Contributor

palinatolmach commented Aug 26, 2025

Please don't merge until the K version is updated after the last commit, setting the K version to the draft release one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants