File tree Expand file tree Collapse file tree 7 files changed +68
-2
lines changed
Expand file tree Collapse file tree 7 files changed +68
-2
lines changed Original file line number Diff line number Diff line change 33 pull_request :
44 branches :
55 - main
6+ paths-ignore :
7+ - " **/*.md"
8+ - " docs/**"
69 push :
710 branches :
811 - main
12+ paths-ignore :
13+ - " **/*.md"
14+ - " docs/**"
15+
16+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
17+ concurrency :
18+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
19+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
920
1021permissions :
1122 contents : read
Original file line number Diff line number Diff line change @@ -14,8 +14,19 @@ name: "CodeQL"
1414on :
1515 push :
1616 branches : ["main"]
17+ paths-ignore :
18+ - " **/*.md"
19+ - " docs/**"
1720 pull_request :
1821 branches : ["main"]
22+ paths-ignore :
23+ - " **/*.md"
24+ - " docs/**"
25+
26+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
27+ concurrency :
28+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
29+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
1930
2031permissions :
2132 contents : read
Original file line number Diff line number Diff line change 33 pull_request :
44 branches :
55 - main
6+ paths-ignore :
7+ - " **/*.md"
8+ - " docs/**"
9+
10+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
11+ concurrency :
12+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
13+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
14+
615permissions :
716 contents : read
817 pull-requests : read
Original file line number Diff line number Diff line change 44 pull_request :
55 branches :
66 - main
7+ paths-ignore :
8+ - " **/*.md"
9+ - " docs/**"
710 push :
811 branches :
912 - main
13+ paths-ignore :
14+ - " **/*.md"
15+ - " docs/**"
1016 workflow_dispatch :
1117
18+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
19+ concurrency :
20+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
21+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
22+
1223permissions :
1324 contents : read
1425
Original file line number Diff line number Diff line change 1010 # To guarantee Maintained check is occasionally updated. See
1111 # https://github.com/ossf/scorecard/blob/main/docs/checks.md#maintained
1212 schedule :
13- - cron : ' 35 22 * * 0'
13+ - cron : " 35 22 * * 0"
1414 push :
15- branches : [ "main" ]
15+ branches : ["main"]
16+ paths-ignore :
17+ - " **/*.md"
18+ - " docs/**"
19+
20+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
21+ concurrency :
22+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
23+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
1624
1725# Declare default permissions as read only.
1826permissions : read-all
Original file line number Diff line number Diff line change 44 branches :
55 - main
66
7+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
8+ concurrency :
9+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
10+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
11+
712permissions :
813 contents : read
914
Original file line number Diff line number Diff line change @@ -2,9 +2,20 @@ name: vet OSS Components
22
33on :
44 pull_request :
5+ paths-ignore :
6+ - " **/*.md"
7+ - " docs/**"
58 push :
69 branches :
710 - main
11+ paths-ignore :
12+ - " **/*.md"
13+ - " docs/**"
14+
15+ # PRs share a concurrency group (cancel/serialize); Pushes use unique groups to avoid cancellation/queuing
16+ concurrency :
17+ group : ${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.ref) || github.run_id }}
18+ cancel-in-progress : ${{ github.event_name == 'pull_request' }}
819
920permissions :
1021 contents : read
You can’t perform that action at this time.
0 commit comments