File tree 1 file changed +8
-1
lines changed
1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -2,6 +2,7 @@ name: Generate code and open pull request
2
2
3
3
on :
4
4
workflow_dispatch :
5
+ pull_request :
5
6
push :
6
7
branches :
7
8
- master
35
36
diff=$(git --no-pager diff --name-only HEAD)
36
37
echo "DIFF_IS_EMPTY=$([[ -z "$diff" ]] && echo 'true' || echo 'false')" >> $GITHUB_ENV
37
38
echo "CURRENT_DATETIME=$(date +'%Y%m%d%H%M%S')" >> $GITHUB_ENV
38
- - if : ${{ env.DIFF_IS_EMPTY != 'true' }}
39
+ # # Run if diff exists and pull request, and make CI status failure
40
+ - if : ${{ github.event_name == 'pull_request' && env.DIFF_IS_EMPTY != 'true' }}
41
+ run : |
42
+ echo "There are changes in the generated codes. Please run 'generate-code.py' and commit the changes." >&2
43
+ exit 1
44
+ # # Run if diff exists and event is not pull request, and make PR
45
+ - if : ${{ github.event_name != 'pull_request' && env.DIFF_IS_EMPTY != 'true' }}
39
46
run : |
40
47
git config user.name github-actions
41
48
git config user.email [email protected]
You can’t perform that action at this time.
0 commit comments