Fixup

MetaCoq · Jan 29, 2025 · 5d3a2e2 · 5d3a2e2
1 parent c254982
commit 5d3a2e2
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -56,10 +56,10 @@ jobs:
             startGroup "Print opam config"
               sudo chown -R coq:coq .
               opam config list; opam repo list; opam list
-              opam pin remove -y rocq-core
-              opam pin remove -y coq
+              opam remove -y rocq-core rocq-runtime rocq-stdlib rocq-prover coq-core coq-stdlib coqide-server coq-stdlib coq
+              opam pin remove -y rocq-core rocq-runtime rocq-stdlib rocq-prover coq-core coq-stdlib coqide-server coq-stdlib coq
               opam pin add -y coq 9.0+rc1
-              opam install coq.9.0+rc1
+              opam install -y coq.9.0+rc1
             endGroup
           script: |
             startGroup "Build project"