diff --git a/.github/workflows/merge-translations.yml b/.github/workflows/merge-translations.yml index a7906358af..c2392a5b78 100644 --- a/.github/workflows/merge-translations.yml +++ b/.github/workflows/merge-translations.yml @@ -84,7 +84,7 @@ jobs: # So we clean up no matter what set +e - for i in {1..10}; do + for i in {1..100}; do if gh pr view "$PR_NUMBER" --repo "$GITHUB_REPOSITORY" --json state | jq -e '.state == "MERGED"'; then echo "PR merged" exit 0