diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index b0ce526..6ff9f46 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -51,5 +51,12 @@ jobs:
           opam_file: 'coq-voqc.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-          before_install: opam pin add coq-sqir . -y
+          before_install: opam pin add -n -y -k path coq-sqir . 
+          install:  startGroup "Install dependencies"
+                      sudo apt-get update -y -q
+                      opam pin add -n -y -k path $PACKAGE $WORKDIR
+                      opam update -y
+                      opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+                    endGroup
+