GitHub CI: fail on veraPDF crash

fixes #17
This commit is contained in:
Jan Provaznik 2024-05-06 13:14:42 +02:00 committed by Oleg Petruny
parent 358e1c5055
commit 3313d0713b

View File

@ -35,4 +35,4 @@ jobs:
- name: Get PDFs - name: Get PDFs
uses: actions/download-artifact@v3 uses: actions/download-artifact@v3
- name: Run VeraPDF - 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"'