diff --git a/.github/workflows/update-set-implementation-lists.yml b/.github/workflows/update-set-implementation-lists.yml index 275e1daf2b1..cc27189efb9 100644 --- a/.github/workflows/update-set-implementation-lists.yml +++ b/.github/workflows/update-set-implementation-lists.yml @@ -201,5 +201,5 @@ jobs: git config user.email github-actions@github.com # Stage the Set-implementation-list.md file, commit, then push git add ./wiki/* - git commit -m "Update Set-implementation-list.md" + git commit -m "Update Set-implementation-list.md" || exit 0 git push