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

Bump the entree-specs commit #2211

Merged
merged 1 commit into from
Feb 3, 2025
Merged

Bump the entree-specs commit #2211

merged 1 commit into from
Feb 3, 2025

Conversation

sauclovian-g
Copy link
Contributor

No description provided.

@sauclovian-g sauclovian-g added type: bug Issues reporting bugs or unexpected/unwanted behavior PR: dependency bump Pull requests that update a dependency file subsystem: saw-core-coq Issues related to converting saw-core to Gallina for use with the Coq/Rocq theorem prover tooling: CI Issues involving CI/CD scripts or processes test assets Issues involving test programs or other test assets labels Feb 3, 2025
@sauclovian-g sauclovian-g merged commit 9737780 into master Feb 3, 2025
34 checks passed
@sauclovian-g sauclovian-g deleted the bump-entree-specs branch February 3, 2025 19:32
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

Assignees
No one assigned
Labels
PR: dependency bump Pull requests that update a dependency file subsystem: saw-core-coq Issues related to converting saw-core to Gallina for use with the Coq/Rocq theorem prover test assets Issues involving test programs or other test assets tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sauclovian-g @RyanGlScott