Special case for dune

MetaCoq · Jan 29, 2025 · 2d0c891 · 2d0c891
1 parent 5d3a2e2
commit 2d0c891
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -58,6 +58,7 @@ jobs:
               opam config list; opam repo list; opam list
               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 remove -n dune
               opam pin add -y coq 9.0+rc1
               opam install -y coq.9.0+rc1
             endGroup