Skip to content

Update dependency: deps/kontrol_release#42

Merged
palinatolmach merged 3 commits intomasterfrom
_update-deps/runtimeverification/kontrol
Aug 11, 2024
Merged

Update dependency: deps/kontrol_release#42
palinatolmach merged 3 commits intomasterfrom
_update-deps/runtimeverification/kontrol

Conversation

@rv-jenkins
Copy link
Contributor

No description provided.

@palinatolmach palinatolmach self-requested a review August 11, 2024 15:17
@palinatolmach palinatolmach merged commit e180d31 into master Aug 11, 2024
@palinatolmach palinatolmach deleted the _update-deps/runtimeverification/kontrol branch August 11, 2024 15:20
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