File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -12,6 +12,10 @@ permissions:
1212 pull-requests : write
1313 contents : read
1414
15+ concurrency :
16+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
17+ cancel-in-progress : true
18+
1519jobs :
1620 test-compilation :
1721 runs-on : ubuntu-latest
@@ -34,14 +38,14 @@ jobs:
3438 docs-repo-token : ${{ secrets.DOC_GITHUB_PAT_CROSS_ORG }}
3539 docs-repo : ' @ske-csharp-client'
3640
37- - name : Label PR in failure
41+ - name : Label PR on failure
3842 uses : actions-ecosystem/action-add-labels@v1
3943 if : steps.compile_step.outcome == 'failure' && github.event_name == 'pull_request'
4044 with :
41- labels : Breaks Docs Compilation Tests
45+ labels : ' Breaks Docs Compilation Tests'
4246
4347 - name : Remove label on success
4448 uses : actions-ecosystem/action-remove-labels@v1
4549 if : steps.compile_step.outcome == 'success' && github.event_name == 'pull_request'
4650 with :
47- labels : Breaks Docs Compilation Tests
51+ labels : ' Breaks Docs Compilation Tests'
You can’t perform that action at this time.
0 commit comments