diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 4079632..4650757 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -56,3 +56,4 @@ jobs:
         with:
           name: manual
           path: ./doc/manual.pdf
+          if-no-files-found: error