GH-142: Pin satysfi version in CI

nyuichi · Mar 5, 2024 · a526552 · a526552
1 parent e1a8190
commit a526552
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 ${{ matrix.version }}
           opam pin add satysfi-base.opam "file://${PWD}"
           satyrographos install -l base
       - name: Run tests