Merge pull request #4845 from OAI/dev

v3.1-dev: update from dev

Author: oai-spec-publisher[bot]

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

@@ -46,6 +46,9 @@ jobs:
               --label "Housekeeping" \
               --title "$BASE: update from $HEAD" \
               --body "Merge \`$HEAD\` into \`$BASE\`.")
+            echo "PR to sync $DEV_BRANCH: $PR"
+            
+            gh pr checks $PR --watch --required || continue
             gh pr merge $PR --merge --admin
           done
         env: