[hack] install recent dune

coq · Jan 13, 2025 · 75c1147 · 75c1147
1 parent 346abfc
commit 75c1147
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -153,7 +153,8 @@ jobs:
         OPAMYES: true
       run: |
         opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
-        opam install ./language-server/vscoq-language-server.opam --deps-only --with-doc --with-test
+        opam install dune
+        opam install ./language-server/vscoq-language-server.opam --deps-only --with-doc --with-test --ignore-constraints-on dune
       
     - name: Build vscoq-language-server
       run: |