diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index d04f7e05..b89de3bb 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -87,6 +87,11 @@ jobs: - name: Cache Scala uses: coursier/cache-action@v5 - name: Run Formal Equivalence + # This is here instead of on the whole job because if a job is skipped, so are dependent jobs + # If this job were skipped, all_tests_passed would be skipped to + # By having this "if" here, this job returns success so that all_tests_passed will succeed too + if: github.event_name == 'pull_request' && + ! contains(github.event.pull_request.labels.*.name, 'Skip Formal CI') run: ./.run_formal_checks.sh ${{ matrix.design }} # Sentinel job to simplify how we specify which checks need to pass in branch |