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..51c067c7 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"