pin the version of quint

matter-labs · Jul 30, 2024 · 445e273 · 445e273
1 parent 6154776
commit 445e273
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/spec.yaml b/.github/workflows/spec.yaml
@@ -20,7 +20,7 @@ jobs:
           check-latest: true
 
       - name: Install quint
-        run: npm i @informalsystems/quint -g
+        run: npm i @informalsystems/quint@0.20.0 -g
 
       - name: Run test
         run: cd spec && make test