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 boilerplate after move to coq-community #8

Merged

palmskog merged 2 commits into master from community-boilerplate

Feb 3, 2022

Member

palmskog commented Feb 3, 2022

This adjusts repo links and other administrative items.


          adapt boilerplate after move to coq-community

0de102a

palmskog force-pushed the community-boilerplate branch from cef5a2a to 0de102a Compare

February 3, 2022 10:39

Member Author

palmskog commented Feb 3, 2022 •

edited

Loading

@amahboubi do we want to add testing with Coq 8.15 and MathComp 1.14.0 into CI right away? I can do this here and then merge, with your permission.


          update opam and CI for Coq 8.15 and MathComp 1.14.0

1f60982

palmskog merged commit 7df8fb4 into master

palmskog deleted the community-boilerplate branch

February 3, 2022 12:13

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

Labels

None yet