Skip to content

Commit cc2287b

Browse files
committed
NO-ISSUE Use github actor id instead of bot name to avoid renaming issues
1 parent 48cb91b commit cc2287b

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
@@ -49,11 +49,12 @@ jobs:
4949
echo "DIFF_IS_EMPTY=$([[ -z "$diff_excluding_submodule" ]] && echo 'true' || echo 'false')" >> $GITHUB_ENV
5050
echo "CURRENT_DATETIME=$(date +'%Y%m%d%H%M%S')" >> $GITHUB_ENV
5151
## Run if diff exists and pull request or merge queue, and make CI status failure (but allow renovate bot)
52+
## 29139614 is renovate bot's actor id
5253
- if: >-
5354
${{
5455
(github.event_name == 'pull_request' || github.event_name == 'merge_group')
5556
&& env.DIFF_IS_EMPTY != 'true'
56-
&& github.actor != 'renovate[bot]'
57+
&& github.actor_id != 29139614
5758
}}
5859
run: |
5960
echo "There are changes in the generated codes. Please run 'generate-code.py' and commit the changes." >&2

0 commit comments

Comments
 (0)