Skip to content

Fix CI #100

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
Merged
merged 2 commits into from
Jul 7, 2025
Merged

Fix CI #100

merged 2 commits into from
Jul 7, 2025

Conversation

SkySkimmer
Copy link
Contributor

No description provided.

SkySkimmer
SkySkimmer commented Jul 7, 2025
View reviewed changes
@SkySkimmer
Copy link
Contributor Author

WTF?


Uninstallation test
  + (script @ line 32) $ opam remove -y coq-bignums
  The following actions will be performed:
  === remove 2 packages
    - remove    coq-bignums  dev (pinned)
    - remove    rocq-bignums dev (pinned) [conflicts with rocq-core]
  === downgrade 3 packages
    - downgrade coq-core     dev to 9.0.0 [required by coq-stdlib]
    - downgrade rocq-core    dev to 9.0.0 [uses rocq-runtime]
    - downgrade rocq-runtime dev to 9.0.0 [required by coq-core]
  === recompile 2 packages
    - recompile coq-stdlib   dev          [uses coq-bignums]
    - recompile rocq-stdlib  dev          [uses rocq-runtime]

@SkySkimmer
Copy link
Contributor Author

anayway it's still better than before

@SkySkimmer SkySkimmer merged commit 522ad0f into master Jul 7, 2025
1 check passed
@SkySkimmer SkySkimmer deleted the SkySkimmer-patch-1 branch July 7, 2025 16:58
@proux01
Copy link
Collaborator

proux01 commented Jul 7, 2025

Thanks!

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
@SkySkimmer @proux01