From 3362bf78ec9171c7bd043e81b1fe6312ef8e4193 Mon Sep 17 00:00:00 2001
From: Rodolfo Wottrich <rodolfo.wottrich@arm.com>
Date: Wed, 12 Aug 2026 16:43:00 +0100
Subject: [PATCH 1/2] Raise errors on PDF build workflow

---
 .github/workflows/ci.yml | 1 +
 build_with_docker.sh     | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7a191e97..c6c51e05 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,6 +17,7 @@ jobs:
       with:
         name: pdfs
         path: pdfs
+        if-no-files-found: error
 
   build-github-pages:
     runs-on: ubuntu-latest
diff --git a/build_with_docker.sh b/build_with_docker.sh
index 5288e3ad..6e6cab76 100755
--- a/build_with_docker.sh
+++ b/build_with_docker.sh
@@ -43,4 +43,7 @@ docker build -t $IMAGE_NAME --network host tools/docker
 # Run the image, mounting the current folder into the /src folder of
 # the docker image. Run as the host user so that the output files are owned by them.
 docker run --rm -u $(id -u):$(id -g) --mount type=bind,source="$(pwd)",target=/src $IMAGE_NAME $finalversion $commithash $cleanrepo
+
+status=$?
 rm -rf ./tmp
+exit "$status"
\ No newline at end of file

From b9efc51c2cacb712dfa714fc1aea7a75e982921b Mon Sep 17 00:00:00 2001
From: Rodolfo Wottrich <rodolfo.wottrich@arm.com>
Date: Wed, 12 Aug 2026 16:43:53 +0100
Subject: [PATCH 2/2] Add newline

---
 build_with_docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_with_docker.sh b/build_with_docker.sh
index 6e6cab76..51c067c7 100755
--- a/build_with_docker.sh
+++ b/build_with_docker.sh
@@ -46,4 +46,4 @@ docker run --rm -u $(id -u):$(id -g) --mount type=bind,source="$(pwd)",target=/s
 
 status=$?
 rm -rf ./tmp
-exit "$status"
\ No newline at end of file
+exit "$status"