File tree Expand file tree Collapse file tree 1 file changed +26
-0
lines changed
Expand file tree Collapse file tree 1 file changed +26
-0
lines changed Original file line number Diff line number Diff line change 11name : ZJIT Ubuntu
2+ on :
3+ push :
4+ branches :
5+ - master
6+ paths-ignore :
7+ - ' doc/**'
8+ - ' **/man/*'
9+ - ' **.md'
10+ - ' **.rdoc'
11+ - ' **/.document'
12+ - ' .*.yml'
13+ pull_request :
14+ types :
15+ - opened
16+ - synchronize
17+ - reopened
18+ # Do not use paths-ignore for required status checks
19+ # https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/collaborating-on-repositories-with-code-quality-features/troubleshooting-required-status-checks#handling-skipped-but-required-checks
20+ merge_group :
21+
22+ concurrency :
23+ group : ${{ github.workflow }} / ${{ startsWith(github.event_name, 'pull') && github.ref_name || github.sha }}
24+ cancel-in-progress : ${{ startsWith(github.event_name, 'pull') }}
25+
26+ permissions :
27+ contents : read
228
329jobs :
430 lint :
You can’t perform that action at this time.
0 commit comments