feat: Add check for PDF files in output directory

utensil · Feb 21, 2025 · 7bd6331 · 7bd6331
1 parent 3be271a
commit 7bd6331
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -114,6 +114,14 @@ jobs:
           eval $(opam env)
           forester --version
           bash ./build.sh
+      - name: Check for PDF files
+        run: |
+          pdf_count=$(find ./output -name "*.pdf" | wc -l)
+          if [ "$pdf_count" -eq 0 ]; then
+            echo "Error: No PDF files found in the output directory."
+            exit 1
+          fi
+          echo "Found $pdf_count PDF files."
       - name: Fix permissions
         run: |
           chmod -c -R +rX "./output/" | while read line; do