File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change 18
18
script : |
19
19
./scripts/lint_urls.sh $(
20
20
[ "${{ github.event_name }}" = "pull_request" ] \
21
- && git diff --name-only ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}
21
+ && git diff --name-only ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} \
22
+ || [ "${{ github.event_name }}" = "push" ] \
23
+ && git diff --name-only ${{ github.event.before }} ${{ github.sha }}
22
24
)
23
25
24
26
lint-xrefs :
33
35
script : |
34
36
./scripts/lint_xrefs.sh $(
35
37
[ "${{ github.event_name }}" = "pull_request" ] \
36
- && git diff --name-only ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}
38
+ && git diff --name-only ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} \
39
+ || [ "${{ github.event_name }}" = "push" ] \
40
+ && git diff --name-only ${{ github.event.before }} ${{ github.sha }}
37
41
)
You can’t perform that action at this time.
0 commit comments