Skip to content

GitHub CI: fail on veraPDF crash #61

GitHub CI: fail on veraPDF crash

GitHub CI: fail on veraPDF crash #61

Workflow file for this run

name: CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
build:
name: Build thesis PDFs
runs-on: ubuntu-latest
container: { image: 'aergus/latex' }
steps:
- uses: actions/checkout@v3
- name: Build the thesis
run: latexmk thesis && latexmk abstract-cz && latexmk abstract-en
- name: Upload artifacts
uses: actions/upload-artifact@v3
with:
name: Thesis
path: |
*.pdf
verify:
name: Verify PDF/A
runs-on: ubuntu-latest
needs: build
container: { image: 'ghcr.io/mff-cuni-cz/cuni-thesis-validator' }
steps:
- name: Get PDFs
uses: actions/download-artifact@v3
- name: Run VeraPDF
run: verify Thesis/*.pdf | tee /dev/stderr | grep -qE 'nonCompliant="0" failedJobs="0"'