From 2d0c891cc023a38c27a314d43d33c59c67359931 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Wed, 29 Jan 2025 17:15:46 +0100 Subject: [PATCH] Special case for dune --- .github/workflows/build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c1f330758..12d6dce5a 100644 --- 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