[CI] Fix edge case that could lead to broken docs builds on main (#36515)

Signed-off-by: Harry Mellor <19981378+hmellor@users.noreply.github.com>
2026-03-09 16:06:19 +00:00
parent 00c4cb5606
commit 74a9f54cdb
1 changed files with 2 additions and 2 deletions
--- a/docs/maybe_skip_pr_build.sh
+++ b/docs/maybe_skip_pr_build.sh
@@ -19,6 +19,6 @@ if [[ "$HTTP_CODE" -ne 200 ]]; then
 elif grep -qE '"name": *"(documentation|ready)"' /tmp/pr_response.json; then
  echo "Found required label, proceeding with build."
 else
-  echo "PR #${READTHEDOCS_VERSION} lacks 'documentation' or 'ready' label, skipping build."
-  exit 183
+  echo "PR #${READTHEDOCS_VERSION} lacks 'documentation' or 'ready' label, cancelling build."
+  exit 1
 fi