ci: update quint files location on quint workflow

informalsystems · Nov 25, 2024 · 766c49e · 766c49e
1 parent 6ed4ef4
commit 766c49e
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/quint/**
+      - specs/consensus/quint/**
   pull_request:
     paths:
-      - specs/quint/**
+      - 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/quint/**/*.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/quint/tests/**/*Test.qnt
+      - run: bash scripts/quint-forall.sh "test --max-samples $MAX_SAMPLES" specs/consensus/quint/tests/**/*Test.qnt