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

Bump crucible and what4 to sync crucible #1260 #2133

Merged
merged 1 commit into from
Oct 21, 2024
Merged

Conversation

sauclovian-g
Copy link
Contributor

@sauclovian-g sauclovian-g commented Oct 17, 2024

crucible #1260 is a cleanup change that breaks the API (though in a minor way) so we want to keep up with it. Apply the one-line fix to adjust to that change.

Update what4 as well because crucible requires it.

@sauclovian-g sauclovian-g marked this pull request as draft October 17, 2024 00:06
@sauclovian-g sauclovian-g changed the title Bump crucible and what4 to sync a breaking crucible change Bump crucible and what4 to keep up with a breaking crucible change Oct 18, 2024
This is a cleanup change that breaks the API (though in a minor way)
so we want to keep up with it. Apply the one-line fix to adjust to
that change.

Update what4 as well because crucible requires it.
@sauclovian-g sauclovian-g changed the title Bump crucible and what4 to keep up with a breaking crucible change Bump crucible and what4 to sync crucible #1260 Oct 21, 2024
@sauclovian-g sauclovian-g marked this pull request as ready for review October 21, 2024 17:56
@sauclovian-g sauclovian-g added tech debt Issues that document or involve technical debt PR: submodule bump Pull requests that include a submodule bump subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json labels Oct 21, 2024
@sauclovian-g sauclovian-g merged commit 0e1bba2 into master Oct 21, 2024
34 checks passed
@sauclovian-g sauclovian-g deleted the bump-crucible branch October 21, 2024 21:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: submodule bump Pull requests that include a submodule bump subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tech debt Issues that document or involve technical debt
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants