Merge pull request #18 from JanProvaznik/gh-ci-verify-fix

GitHub CI: fail on veraPDF crash
exaexa · May 7, 2024 · 0ed4027 · 0ed4027
2 parents a32ca00 + c2c0f26
commit 0ed4027
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -35,4 +35,4 @@ jobs:
       - name: Get PDFs
         uses: actions/download-artifact@v3
       - name: Run VeraPDF
-        run: verify Thesis/*.pdf | tee /dev/stderr | grep -qE 'nonCompliant="0"'
+        run: verify Thesis/*.pdf | tee /dev/stderr | grep -qE 'nonCompliant="0" failedJobs="0"'