Skip to content

Commit 5963a8c

Browse files
committed
NO-ISSUE Use github actor id instead of bot name to avoid renaming issues
1 parent 073747e commit 5963a8c

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.github/workflows/generate-code.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,12 @@ jobs:
3434
echo "DIFF_IS_EMPTY=$([[ -z "$diff_excluding_submodule" ]] && echo 'true' || echo 'false')" >> $GITHUB_ENV
3535
echo "CURRENT_DATETIME=$(date +'%Y%m%d%H%M%S')" >> $GITHUB_ENV
3636
## Run if diff exists and pull request or merge queue, and make CI status failure (but allow renovate bot)
37+
## 29139614 is renovate bot's actor id
3738
- if: >-
3839
${{
3940
(github.event_name == 'pull_request' || github.event_name == 'merge_group')
4041
&& env.DIFF_IS_EMPTY != 'true'
41-
&& github.actor != 'renovate[bot]'
42+
&& github.actor_id != 29139614
4243
}}
4344
run: |
4445
echo "There are changes in the generated codes. Please run 'generate-code.py' and commit the changes." >&2

0 commit comments

Comments
 (0)