diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/generate-constants.yaml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/generate-constants.yaml b/.github/workflows/generate-constants.yaml index 9df66081c..fccadc7fb 100644 --- a/.github/workflows/generate-constants.yaml +++ b/.github/workflows/generate-constants.yaml @@ -51,6 +51,12 @@ jobs: - name: Commit generated regex run: | mkdir -p constants/ + new_cmp="$(jq -S '.regexes' < constants.json)" + old_cmp="$(jq -S '.regexes' < constants/regexes.json)" + if [ "$new_cmp" = "$old_cmp" ]; then + echo Old and new are the same. We are in a never ending loop. + exit 0 + fi mv constants.json constants/regexes.json git config user.name 'github-actions[bot]' git config user.email 'github-action@users.noreply.github.com' |