Update .github/workflows/ci.yml

coq · Feb 6, 2024 · bf48804 · bf48804
1 parent cd0d767
commit bf48804
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -73,7 +73,7 @@ jobs:
         OPAMYES: true
       run: |
         opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
-        opam pin add coq-core ${{ matrix.coq }}
+        opam install coq-core.${{ matrix.coq }}
         opam pin add vscoq-language-server ./language-server/ --with-doc --with-test -y
 
     - run: |