File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2525 - uses : actions/checkout@v3
2626 with :
2727 ref : " develop"
28+ fetch-depth : 0
2829 - name : Use Node.js 18.x
2930 uses : actions/setup-node@v3
3031 with :
5152 - name : Trigger docs rebuild
5253 if : github.event_name == 'push'
5354 run : |
55+ set -o pipefail
5456 if git diff --name-only "${{ github.event.before }}" "${{ github.sha }}" | grep -q '^docs/'; then
55- curl -L \
57+ curl -f - L \
5658 -X POST \
5759 -H "Accept: application/vnd.github+json" \
5860 -H "Authorization: Bearer ${{ secrets.PAT_WORKFLOWS }}" \
Original file line number Diff line number Diff line change 2323 - uses : actions/checkout@v3
2424 with :
2525 ref : " main"
26+ fetch-depth : 0
2627 - name : Use Node.js 18.x
2728 uses : actions/setup-node@v3
2829 with :
4546 - name : Trigger docs rebuild
4647 if : github.event_name == 'push'
4748 run : |
49+ set -o pipefail
4850 if git diff --name-only "${{ github.event.before }}" "${{ github.sha }}" | grep -q '^docs/'; then
49- curl -L \
51+ curl -f - L \
5052 -X POST \
5153 -H "Accept: application/vnd.github+json" \
5254 -H "Authorization: Bearer ${{ secrets.PAT_WORKFLOWS }}" \
You can’t perform that action at this time.
0 commit comments