From a526552fa4322048b68b06e4c3efd088360b80ec Mon Sep 17 00:00:00 2001
From: Yuito Murase <yuito@acupof.coffee>
Date: Tue, 5 Mar 2024 16:11:56 +0900
Subject: [PATCH] GH-142: Pin satysfi version in CI

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9d9c1bd..3314366 100644
--- 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