From 74a9f54cdb07eca31036d96390db968b780e44f5 Mon Sep 17 00:00:00 2001
From: Harry Mellor <19981378+hmellor@users.noreply.github.com>
Date: Mon, 9 Mar 2026 16:06:19 +0000
Subject: [PATCH] [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>
---
 docs/maybe_skip_pr_build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/maybe_skip_pr_build.sh b/docs/maybe_skip_pr_build.sh
index d9872a1ef..2a0b338a0 100755
--- 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