Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/k_release #3656

Merged
merged 17 commits into from
Sep 29, 2023
Merged

Conversation

rv-jenkins
Copy link
Contributor

No description provided.

@geo2a
Copy link
Collaborator

geo2a commented Sep 29, 2023

Outputs of the integration tests test/imp/max-symbolic.imp.out.golden, test/smt-none/program.test.out.golden and test/smt-none/program.test.out.golden neede to be updated because of the commit 8200fdb41f268a875044c18dda5dd206e5435d16 to K

@geo2a geo2a mentioned this pull request Sep 29, 2023
@geo2a geo2a self-requested a review September 29, 2023 15:46
@rv-jenkins rv-jenkins merged commit f3c2d19 into master Sep 29, 2023
9 checks passed
@rv-jenkins rv-jenkins deleted the _update-deps/runtimeverification/k branch September 29, 2023 16:02
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.

3 participants