[ci] do not pin dev

LPCIC · Jul 11, 2024 · ff443b1 · ff443b1
1 parent d1fe4e1
commit ff443b1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -42,9 +42,11 @@ jobs:
         ocaml-compiler: ${{ matrix.ocaml_version }}
     - run: opam repo add coq-dev https://coq.inria.fr/opam/core-dev
     - run: opam install coq-core.${{ matrix.coq_version }}
-    - run: opam pin add coq-core ${{ matrix.coq_version }}
     - run: opam install coq-stdlib.${{ matrix.coq_version }}
-    - run: opam pin add coq-stdlib ${{ matrix.coq_version }}
+    - run: |
+        opam pin add coq-core ${{ matrix.coq_version }}
+        opam pin add coq-stdlib ${{ matrix.coq_version }}
+      if: ${{ matrix.coq_version != 'dev' }}
     - run: opam install ./coq-elpi.opam --deps-only --with-test -y
     - run: opam exec make build
     - run: opam exec make test