w

LPCIC · Sep 19, 2024 · 2400397 · 2400397
1 parent 2641c83
commit 2400397
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,9 +37,11 @@ jobs:
           - '5.2.x'
     steps:
     - uses: actions/checkout@v2
-    - uses: avsm/setup-ocaml@v2
+    - uses: avsm/setup-ocaml@v3
       with:
         ocaml-compiler: ${{ matrix.ocaml_version }}
+        opam-pin: false
+        opam-local-packages:
     - run: opam repo add coq-dev https://coq.inria.fr/opam/core-dev
     - run: opam install coq-core.${{ matrix.coq_version }}
     - run: opam install coq-stdlib.${{ matrix.coq_version }}

diff --git a/dune-project b/dune-project
@@ -32,7 +32,7 @@
   (ocaml (>= 4.10.0))
   stdlib-shims
   (elpi (and (>= 1.18.2) (< 1.20.0~)))
-  (coq (and (>= 8.20+rc1) (< 8.21)))
+  (coq (and (>= 8.20+rc1) (< 8.21~)))
   ppx_optcomp
   (ocaml-lsp-server :with-dev-setup)))