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

Coq master update #102

Merged
merged 12 commits into from
Jan 8, 2025
Merged

Coq master update #102

merged 12 commits into from
Jan 8, 2025

Conversation

jim-portegies
Copy link
Contributor

Basically merges all the changes in version 2.2.0 into coq-master.

@jim-portegies jim-portegies requested a review from pimotte January 7, 2025 11:08
@jim-portegies
Copy link
Contributor Author

Thanks @SkySkimmer for fixing an error in META.coq-waterproof!

pimotte
pimotte approved these changes Jan 7, 2025
View reviewed changes
Copy link
Contributor

@pimotte pimotte left a comment

Choose a reason for hiding this comment

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

Built it locally and checked all the commits past the merge commit, no issues.

I'm assuming we're postponing fixing deprecations until we are also tackling the unused variables, other than that, encountered no issues.

@jim-portegies jim-portegies merged commit 6fb9e9f into coq-master Jan 8, 2025
2 checks passed
@jim-portegies jim-portegies deleted the coq-master-update branch January 8, 2025 07:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pimotte pimotte pimotte approved these changes

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
@jim-portegies @pimotte