GH-142: Fix config for regression tests in CI

nyuichi · Mar 5, 2024 · e1a8190 · e1a8190
1 parent 0f1106b
commit e1a8190
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -65,7 +65,7 @@ jobs:
           eval $(opam env)
           opam update
           opam pin add satysfi ${{ matrix.satysfi-version }}
-          opam pin add --verbose --yes "."
+          opam pin add satysfi-base.opam "file://${PWD}"
           satyrographos install -l base
       - name: Run regression tests
         run: |