Revert "ci: quint workflow takes all Quint files"

This reverts commit a5e6a7b.
informalsystems · Nov 25, 2024 · c0c3f7b · c0c3f7b
1 parent a5e6a7b
commit c0c3f7b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/quint.yml b/.github/workflows/quint.yml
@@ -4,10 +4,10 @@ on:
     branches:
       - main
     paths:
-      - specs/**
+      - specs/consensus/quint/**
   pull_request:
     paths:
-      - specs/**
+      - specs/consensus/quint/**
 
 name: Quint
 
@@ -21,7 +21,7 @@ jobs:
         with:
           node-version: "18"
       - run: npm install -g @informalsystems/quint
-      - run: bash scripts/quint-forall.sh typecheck specs/**/*.qnt
+      - run: bash scripts/quint-forall.sh typecheck specs/consensus/quint/**/*.qnt
 
   quint-test:
     name: Test
@@ -34,4 +34,4 @@ jobs:
         with:
           node-version: "18"
       - run: npm install -g @informalsystems/quint
-      - run: bash scripts/quint-forall.sh "test --max-samples $MAX_SAMPLES" specs/**/*Test.qnt
+      - run: bash scripts/quint-forall.sh "test --max-samples $MAX_SAMPLES" specs/consensus/quint/tests/**/*Test.qnt