Merge pull request #5245 from OAI/dev-sync-with-main

Author: ralfhandl

.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