diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 066492f3a..9f33d8b15 100644
--- 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: |