Fix dependencies handling in CI

Signed-off-by: Kakadu <Kakadu@pm.me>
Kakadu · Aug 16, 2023 · d484a16 · d484a16
1 parent 0754b1f
commit d484a16
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 100 deletions.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
diff --git a/.github/workflows/master_docker.yml b/.github/workflows/master_docker.yml
@@ -48,8 +48,8 @@ jobs:
 
       - name: Installing dependencies
         run: |
-          opam pin add zanuda ./ -n
-          opam depext zanuda -y
+          opam pin add ./ -n
+          opam depext zanuda reviewer -y
           opam install . --deps-only --with-test --with-doc
 
       - name: Building...