Merge pull request #5244 from ralfhandl/main-longer-wait-for-dev-sync-pr-checks

main: longer wait time when syncing dev to vX.Y-dev

Author: mikekistler

.github/workflows/sync-dev-to-vX.Y-dev.yaml

@@ -63,7 +63,7 @@ jobs:
               --body "Merge relevant changes from \`$HEAD\` into \`$BASE\`.")
             echo ""
             echo "PR to sync $BASE with $HEAD: $PR"
-            sleep 10 # allow status checks to be triggered
+            sleep 60 # allow status checks to be triggered
             
             gh pr checks $PR --watch --required || continue
             gh pr merge $PR --merge --admin