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

Adapt to Coq 8.17 #23

Merged

CohenCyril merged 1 commit into coq-community:master from proux01:coq817

Apr 15, 2023

Contributor

proux01 commented Apr 14, 2023

No description provided.

proux01 force-pushed the coq817 branch from 14756cf to 9c47cc3 Compare

April 14, 2023 19:43


          Adapt to Coq 8.17

737e85e

proux01 force-pushed the coq817 branch from 9c47cc3 to 737e85e Compare

April 15, 2023 08:18

Contributor Author

proux01 commented Apr 15, 2023

@CohenCyril CI green, that would enable math-comp/math-comp#995

CohenCyril merged commit 1087e23 into coq-community:master

32 of 33 checks passed

proux01 deleted the coq817 branch

April 15, 2023 14:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment