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

GitHub CI: fail on veraPDF crash
This commit is contained in:
Mirek Kratochvil 2024-05-07 10:12:52 +02:00 committed by GitHub
commit 0ed4027cdb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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"'