File tree Expand file tree Collapse file tree 1 file changed +22
-0
lines changed Expand file tree Collapse file tree 1 file changed +22
-0
lines changed Original file line number Diff line number Diff line change 1
1
name : Ubuntu on WSL
2
2
3
3
on :
4
+ push :
5
+ paths-ignore :
6
+ - ' doc/**'
7
+ - ' **/man/*'
8
+ - ' **.md'
9
+ - ' **.rdoc'
10
+ - ' **/.document'
11
+ - ' .*.yml'
4
12
pull_request :
13
+ # Do not use paths-ignore for required status checks
14
+ # 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
15
+ merge_group :
5
16
6
17
jobs :
7
18
wsl :
8
19
runs-on : windows-latest
20
+
21
+ if : >-
22
+ ${{!(false
23
+ || contains(github.event.head_commit.message, '[DOC]')
24
+ || contains(github.event.head_commit.message, 'Document')
25
+ || contains(github.event.pull_request.title, '[DOC]')
26
+ || contains(github.event.pull_request.title, 'Document')
27
+ || contains(github.event.pull_request.labels.*.name, 'Documentation')
28
+ || (github.event_name == 'push' && github.event.pull_request.user.login == 'dependabot[bot]')
29
+ )}}
30
+
9
31
steps :
10
32
- name : Install winget
11
33
uses : Cyberboss/install-winget@v1
You can’t perform that action at this time.
0 commit comments