chore: 10 minute timeout for translations merge (#21810)
parent
03207a13ec
commit
74e14b6495
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue