File tree Expand file tree Collapse file tree 1 file changed +7
-4
lines changed Expand file tree Collapse file tree 1 file changed +7
-4
lines changed Original file line number Diff line number Diff line change 1818
1919 - name : Run tests for changed/added exercises
2020 run : |
21- PULL_REQUEST_URL=$(jq -r ".pull_request.url" "$GITHUB_EVENT_PATH")
22- curl --silent --url $"${PULL_REQUEST_URL}/files" --header 'authorization: Bearer ${{ secrets.GITHUB_TOKEN }}' | \
23- jq -c '.[] | select(.status == "added" or .status == "modified") | select(.filename | match("\\.(md|sh)$")) | .filename' | \
24- xargs -r bash .github/scripts/pr
21+ pr_endpoint=$(jq -r '"repos/\(.repository.full_name)/pulls/\(.pull_request.number)"' "$GITHUB_EVENT_PATH")
22+ gh api "$pr_endpoint/files" --paginate --jq '
23+ .[] |
24+ select(.status == "added" or .status == "modified") |
25+ select(.filename | match("\\.(md|sh)$")) |
26+ .filename
27+ ' | xargs -r bash .github/scripts/pr
You can’t perform that action at this time.
0 commit comments