File tree Expand file tree Collapse file tree 3 files changed +12
-3
lines changed Expand file tree Collapse file tree 3 files changed +12
-3
lines changed Original file line number Diff line number Diff line change 8080 Defaults to custom_compiler_version chunked at [+~-]
8181 type : string
8282 default : ' '
83+ outputs :
84+ skippart2 :
85+ description : ' Whether Part 2 (Cygwin workflow) should be skipped (because we are running only one test)'
86+ value : ${{ jobs.test.outputs.skippart2 }}
8387
8488jobs :
85- build-and- test :
89+ test :
8690 env :
8791 QCHECK_MSG_INTERVAL : ' 60'
8892 DUNE_PROFILE : ${{ inputs.dune_profile }}
@@ -108,6 +112,9 @@ jobs:
108112
109113 timeout-minutes : ${{ inputs.timeout }}
110114
115+ outputs :
116+ skippart2 : ${{ steps.winonlyone.outputs.skippart2 }}
117+
111118 steps :
112119 - name : Configure environment (Cygwin)
113120 run : |
@@ -334,7 +341,9 @@ jobs:
334341 if : env.ONLY_TEST != '' && runner.os != 'Windows'
335342
336343 - name : Run only one test (Windows)
344+ id : winonlyone
337345 run : |
346+ echo "skippart2=true" >> "${env:GITHUB_OUTPUT}"
338347 if("${env:REPEATS_FAILFAST}" -eq "false") {
339348 $ErrorActionPreference = 'Continue'
340349 }
Original file line number Diff line number Diff line change 1414
1515 part2 :
1616 needs : part1
17- if : ${{ always() }}
17+ if : ${{ always() && needs.part1.outputs.skippart2 != 'true' }}
1818 uses : ./.github/workflows/common.yml
1919 with :
2020 runs_on : windows-latest
Original file line number Diff line number Diff line change 1515
1616 part2 :
1717 needs : part1
18- if : ${{ always() }}
18+ if : ${{ always() && needs.part1.outputs.skippart2 != 'true' }}
1919 uses : ./.github/workflows/common.yml
2020 with :
2121 runs_on : windows-latest
You can’t perform that action at this time.
0 commit comments