File tree Expand file tree Collapse file tree 4 files changed +4
-0
lines changed Expand file tree Collapse file tree 4 files changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -2,6 +2,7 @@ name: bandit
2
2
on : [pull_request, push]
3
3
jobs :
4
4
bandit :
5
+ if : github.event.pull_request.user.type != 'Bot' && !contains(github.event.pull_request.labels.*.name, 'skip-ci')
5
6
runs-on : ubuntu-latest
6
7
steps :
7
8
- uses : actions/checkout@v2
Original file line number Diff line number Diff line change 22
22
23
23
jobs :
24
24
analyze :
25
+ if : github.event.pull_request.user.type != 'Bot' && !contains(github.event.pull_request.labels.*.name, 'skip-ci')
25
26
name : Analyze
26
27
runs-on : ubuntu-latest
27
28
permissions :
Original file line number Diff line number Diff line change @@ -2,6 +2,7 @@ name: codespell
2
2
on : [pull_request, push]
3
3
jobs :
4
4
codespell :
5
+ if : github.event.pull_request.user.type != 'Bot' && !contains(github.event.pull_request.labels.*.name, 'skip-ci')
5
6
runs-on : ubuntu-latest
6
7
steps :
7
8
- uses : actions/checkout@v2
Original file line number Diff line number Diff line change @@ -2,6 +2,7 @@ name: mypy
2
2
on : [pull_request, push]
3
3
jobs :
4
4
mypy :
5
+ if : github.event.pull_request.user.type != 'Bot' && !contains(github.event.pull_request.labels.*.name, 'skip-ci')
5
6
runs-on : ubuntu-latest
6
7
steps :
7
8
- uses : actions/checkout@v2
You can’t perform that action at this time.
0 commit comments