Merge remote-tracking branch 'upstream/v3.2-dev' into 3.2-schema-test-keyword-coverage

Author: ralfhandl

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

@@ -46,7 +46,9 @@ jobs:
               --label "Housekeeping" \
               --title "$BASE: update from $HEAD" \
               --body "Merge \`$HEAD\` into \`$BASE\`.")
+            echo ""
             echo "PR to sync $DEV_BRANCH: $PR"
+            sleep 10 # allow status checks to be triggered
             
             gh pr checks $PR --watch --required || continue
             gh pr merge $PR --merge --admin

package-lock.json

@@ -23,7 +23,7 @@
     "cheerio": "^1.1.2",
     "highlight.js": "^11.11.1",
     "markdown-it": "^14.1.0",
-    "respec": "35.4.3",
+    "respec": "35.5.0",
     "yargs": "^18.0.0"
   },
   "devDependencies": {