File tree Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Original file line number Diff line number Diff line change 1313 Run the test run under NoThunks conditions instead of the default variant
1414 type : boolean
1515 default : false
16+ nothunks-safe-only :
17+ description :
18+ Run only the test suites which are known to pass under NoThunks conditions
19+ type : boolean
20+ default : false
1621 pull_request :
1722 merge_group :
1823 push :
1924 branches :
2025 - main
2126 schedule :
27+
2228 # every night, at midnight
2329 - cron : " 0 0 * * *"
2430
31+ # on the first day of each month, at midnight
32+ - cron : " 0 0 1 * *"
33+
2534jobs :
2635 build-test-bench-haddocks :
2736 name : Build and test
3140 matrix :
3241 ghc : ["8.10.7", "9.6.5", "9.8.2"]
3342 variant : [default, no-thunks]
43+ test-set : [all, no-thunks-safe]
3444 exclude :
3545 - variant :
3646 ${{ (github.event_name == 'schedule' || inputs.nothunks) && 'default' || 'no-thunks' }}
47+ - test-set :
48+ ${{ (github.event_name == 'schedule' || inputs.nothunks-safe-only) && 'all' || 'no-thunks-safe' }}
3749 env :
3850 # Modify this value to "invalidate" the Cabal cache.
3951 CABAL_CACHE_VERSION : " 2024-01-29"
@@ -127,8 +139,13 @@ jobs:
127139 run : cabal build all -j
128140
129141 - name : Test
142+ if : matrix.test-set == 'all'
130143 run : cabal test all -j --test-show-details=streaming
131144
145+ - name : Test (NoThunks-safe tests only)
146+ if : matrix.test-set == 'no-thunks-safe'
147+ run : cabal test ouroboros-consensus:consensus-test ouroboros-consensus:doctest ouroboros-consensus:infra-test ouroboros-consensus:storage-test ouroboros-consensus-cardano:byron-test ouroboros-consensus-cardano:shelley-test ouroboros-consensus-diffusion:infra-test ouroboros-consensus-diffusion:mock-test ouroboros-consensus-protocol:protocol-test -j --test-show-details=streaming
148+
132149 - name : Create baseline-benchmark
133150 if : github.event_name == 'push' && github.ref == 'refs/heads/main'
134151 run : |
You can’t perform that action at this time.
0 commit comments