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

Merge release workflow into CI #76

Sign in to view logs

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