ci: fix bug in quint workflow

informalsystems · Nov 25, 2024 · 912eb22 · 912eb22
1 parent 8f7c2d9
commit 912eb22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/quint.yml b/.github/workflows/quint.yml
@@ -34,4 +34,4 @@ jobs:
         with:
           node-version: "18"
       - run: npm install -g @informalsystems/quint
-      - run: find specs/ -name '*Test.qnt' | ./scripts/quint-forall.sh test --max-samples $MAX_SAMPLES"
+      - run: find specs/ -name '*Test.qnt' | ./scripts/quint-forall.sh test --max-samples $MAX_SAMPLES