correct PR#70 - no test with stable-4.11

gap-packages · Jan 23, 2024 · f6cdd9f · f6cdd9f
1 parent 9587abc
commit f6cdd9f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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