try quint 0.21.0 with node 20

matter-labs · Jul 30, 2024 · 5191830 · 5191830
1 parent 4fbda61
commit 5191830
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@0.20.0 -g
+        run: npm i @informalsystems/quint@0.21.0 -g
 
       - name: Run test
         run: cd spec && make test