From c0c3f7b552cc7290ce4a9e1d5bfc661d68420ceb Mon Sep 17 00:00:00 2001 From: Daniel Cason Date: Mon, 25 Nov 2024 12:17:06 +0100 Subject: [PATCH] Revert "ci: quint workflow takes all Quint files" This reverts commit a5e6a7b1e4a16ab5b5ae1c01df4d0573f5e63347. --- .github/workflows/quint.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/quint.yml b/.github/workflows/quint.yml index fa53ce2a3..828ebd216 100644 --- 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