test: Fix bug in MBT test where some steps were skipped #205
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - main | |
| paths: | |
| - Specs/Quint/** | |
| pull_request: | |
| paths: | |
| - Specs/Quint/** | |
| name: Quint | |
| jobs: | |
| quint-typecheck: | |
| name: Typecheck | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-node@v3 | |
| with: | |
| node-version: "18" | |
| - name: Install Quint | |
| run: | | |
| git clone https://github.com/informalsystems/quint.git /tmp/quint | |
| cd /tmp/quint | |
| make quint | |
| - name: Typecheck | |
| run: bash Scripts/quint-forall.sh typecheck Specs/Quint/*.qnt | |
| quint-test: | |
| name: Test | |
| runs-on: ubuntu-latest | |
| env: | |
| MAX_SAMPLES: 100 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-node@v3 | |
| with: | |
| node-version: "18" | |
| - name: Install Quint | |
| run: | | |
| git clone https://github.com/informalsystems/quint.git /tmp/quint | |
| cd /tmp/quint | |
| make quint | |
| - name: Test | |
| run: bash Scripts/quint-forall.sh "test --max-samples $MAX_SAMPLES" Specs/Quint/*Test.qnt |