Update .github/workflows/main.yml

LPCIC · Dec 13, 2024 · 95a7065 · 95a7065
1 parent 248320b
commit 95a7065
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -42,7 +42,7 @@ jobs:
         ocaml-compiler: ${{ matrix.ocaml_version }}
         opam-pin: false
         opam-local-packages:
-    - run: opam install dune
+    - run: opam install dune.3.16.0
     - run: opam repo add coq-dev https://coq.inria.fr/opam/core-dev
     - run: opam install -vvv coq-core.${{ matrix.coq_version }} --ignore-constraints-on dune
     - run: opam install -vvv coq-stdlib.${{ matrix.coq_version }} --ignore-constraints-on dune