diff --git a/.github/workflows/spec.yaml b/.github/workflows/spec.yaml
index 469eb169..ebfe41ac 100644
--- 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