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

Release 0.3.0 #78

Sign in to view logs

Release 0.3.0

Release 0.3.0 #78

Build and push testing Docker image

Build and push testing Docker image
succeeded Nov 20, 2024 in 45s