Pre-commit checks, build and test Docker image, upload PDFs to GitHub Pages

Move source extraction to a separate job #72

Sign in to view logs

Annotations

1 error

The logs for this run have expired and are no longer available.