From 74e14b6495030f895efe847f7e0990d7d759bd0e Mon Sep 17 00:00:00 2001 From: bo0tzz Date: Thu, 11 Sep 2025 13:22:25 +0200 Subject: [PATCH] chore: 10 minute timeout for translations merge (#21810) --- .github/workflows/merge-translations.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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