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

Fix missing tags on pushing to a branch #77

Sign in to view logs

Fix missing tags on pushing to a branch

Fix missing tags on pushing to a branch #77

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