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

Fix ubuntu CI failiures #422

Merged
merged 10 commits into from
Jul 23, 2024
Merged

Fix ubuntu CI failiures #422

merged 10 commits into from
Jul 23, 2024

Conversation

rtetley
Copy link
Collaborator

@rtetley rtetley commented Jul 12, 2024 •
edited
Loading

  • Remove metacoq patch for old coq versions (8.15, 8.16)
  • Upgrade elpi to be the same for both 8.15 package picks
  • Add custom gappa opam file until it is fixed upstream

@rtetley rtetley changed the title Remove the patch from metacoq-template for old versions Fix ubuntu CI failiures Jul 12, 2024
@MSoegtropIMC
Copy link
Collaborator

@rtetley : I fixed all Ubuntu issues except for the snap issue. The Zulip discussion on the topic gave me some ideas on what is going on with z3, but I need to have a look at the python file which generates the makefile to find out what is going on.

I merge anyway since it is definitely an improvement (and also makes CI much faster).

@MSoegtropIMC MSoegtropIMC merged commit 0956664 into coq:main Jul 23, 2024
26 of 28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
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
@rtetley @MSoegtropIMC