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.

Sign up for GitHub

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

Jump to bottom

Prepare release crux 0.9 #1244

Closed
wants to merge 3 commits into from
Closed

Prepare release crux 0.9 #1244

wants to merge 3 commits into from

Conversation

mccleeary-galois
Copy link
Contributor

Update Changelog and version numbers to prepare for release 0.9 of Crux and Crucible (Version numbers have also been synced)

@mccleeary-galois mccleeary-galois force-pushed the prepare-release-crux-0.9 branch from 74b33b6 to 8f16a72 Compare August 30, 2024 15:45
RyanGlScott
RyanGlScott approved these changes Aug 30, 2024
View reviewed changes
Copy link
Contributor

@RyanGlScott RyanGlScott left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great!

There's a typo in the commit "Update Changlogs in preperation for crux-0.9 release" ("Changlogs" should be "Changelogs").

crucible-llvm/crucible-llvm.cabal Outdated Show resolved Hide resolved
crucible-mir/CHANGELOG.md Outdated Show resolved Hide resolved
crucible-mir/CHANGELOG.md Outdated Show resolved Hide resolved
crucible-llvm/CHANGELOG.md Outdated Show resolved Hide resolved
crucible-llvm/CHANGELOG.md Outdated Show resolved Hide resolved
@mccleeary-galois mccleeary-galois force-pushed the prepare-release-crux-0.9 branch 2 times, most recently from b4f8100 to 291286c Compare August 30, 2024 16:23
@mccleeary-galois mccleeary-galois force-pushed the prepare-release-crux-0.9 branch from 291286c to edf36bb Compare August 30, 2024 16:26
@mccleeary-galois
Copy link
Contributor Author

mccleeary-galois commented Aug 30, 2024 •
edited
Loading

Failing CI is due to a bad cache state from a canceled CI job. Previous versions have passed with no code changes. See https://github.com/GaloisInc/crucible/actions/runs/10635491633/job/29485206487

@mccleeary-galois
Copy link
Contributor Author

Opening a new PR without version number sync. Closing and deleting branch since CI cache got into a bad state with it.

@mccleeary-galois mccleeary-galois deleted the prepare-release-crux-0.9 branch August 30, 2024 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RyanGlScott RyanGlScott RyanGlScott approved these changes

@kquick kquick Awaiting requested review from kquick

@sauclovian-g sauclovian-g Awaiting requested review from sauclovian-g

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mccleeary-galois @RyanGlScott