GH-142: Pin satysfi version in CI

nyuichi · Mar 5, 2024 · e48b26e · e48b26e
1 parent e1a8190
commit e48b26e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -26,6 +26,7 @@ jobs:
           export HOME=/root
           eval $(opam env)
           opam update
+          opam pin add satysfi satysfi ${{ matrix.satysfi-version }}
           opam pin add satysfi-base.opam "file://${PWD}"
           satyrographos install -l base
       - name: Run tests