File tree Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -18,11 +18,11 @@ jobs:
18
18
timeout : 120
19
19
script : |
20
20
./scripts/lint_urls.sh $(
21
- { [ "${{ github.event_name }}" = "pull_request" ] \
22
- && git diff --name-only "${{ github.event.pull_request.base.sha }}... ${{ github.event.pull_request.head.sha }}"; } \
23
- || \
24
- { [ "${{ github.event_name }}" = "push" ] \
25
- && git diff --name-only "${{ github.event.before }}...${{ github.sha }}"; }
21
+ if [ "${{ github.event_name }}" = "pull_request" ]; then
22
+ echo "${{ github.event.pull_request.base.sha }}" " ${{ github.event.pull_request.head.sha }}"
23
+ else
24
+ echo "${{ github.event.before }}" "${{ github.sha }}"
25
+ fi
26
26
) || {
27
27
echo
28
28
echo "URL lint failed."
@@ -43,11 +43,11 @@ jobs:
43
43
timeout : 60
44
44
script : |
45
45
./scripts/lint_xrefs.sh $(
46
- { [ "${{ github.event_name }}" = "pull_request" ] \
47
- && git diff --name-only "${{ github.event.pull_request.base.sha }}... ${{ github.event.pull_request.head.sha }}"; } \
48
- || \
49
- { [ "${{ github.event_name }}" = "push" ] \
50
- && git diff --name-only "${{ github.event.before }}...${{ github.sha }}"; }
46
+ if [ "${{ github.event_name }}" = "pull_request" ]; then
47
+ echo "${{ github.event.pull_request.base.sha }}" " ${{ github.event.pull_request.head.sha }}"
48
+ else
49
+ echo "${{ github.event.before }}" "${{ github.sha }}"
50
+ fi
51
51
) || {
52
52
echo
53
53
echo "Xref lint failed."
You can’t perform that action at this time.
0 commit comments