diff --git a/.github/workflows/check-for-generated-files.yml b/.github/workflows/check-for-generated-files.yml index 73641d16c..414ba7620 100644 --- a/.github/workflows/check-for-generated-files.yml +++ b/.github/workflows/check-for-generated-files.yml @@ -51,5 +51,5 @@ jobs: pr edit "${{ github.event.number }}" --add-label "$LABEL" echo "And comment on the pr" gh --repo "${{ github.repository }}" \ - pr comment "${{ github.event.number }}" --body-file comment.txt --edit-last + pr comment "${{ github.event.number }}" --body-file comment.txt --edit-last || pr comment "${{ github.event.number }}" --body-file comment.txt fi