Run standard libraries workflow on run-deep-tests too

dafny-lang · Jan 25, 2024 · 0c754a9 · 0c754a9
1 parent 5824baa
commit 0c754a9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
@@ -15,6 +15,7 @@ jobs:
 
  build:
  needs: check-deep-tests
+ if: always() && (( github.event_name == 'pull_request' && (needs.check-deep-tests.result == 'success' || contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))) || ( github.event_name == 'push' && ( github.ref_name == 'master' || vars.TEST_ON_FORK == 'true' )))
  runs-on: macos-latest
 
  steps: