File tree 1 file changed +5
-4
lines changed
1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -62,17 +62,18 @@ jobs:
62
62
git config --local user.email "[email protected] "
63
63
git config --local user.name "GitHub Action"
64
64
65
+ changed="no"
65
66
git add docs/reference/
66
- git diff-index --quiet HEAD --
67
+ git diff-index --quiet HEAD -- || changed="yes"
67
68
68
- echo "::set-output name=changes ::$? "
69
+ echo "::set-output name=changed ::$changed "
69
70
70
71
- name : Commit reference docs changes
71
- if : ${{ steps.stage_docs.outputs.changes == '1 ' }}
72
+ if : ${{ steps.stage_docs.outputs.changed == 'yes ' }}
72
73
run : git commit -m "Re-generate reference documentation"
73
74
74
75
- name : Push documentation
75
- if : ${{ steps.stage_docs.outputs.changes == '1 ' }}
76
+ if : ${{ steps.stage_docs.outputs.changed == 'yes ' }}
76
77
uses : ad-m/github-push-action@master
77
78
with :
78
79
# Use a PAT because we need to trigger a workflow run
You can’t perform that action at this time.
0 commit comments