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

Pre-commit checks

Pre-commit checks
succeeded Nov 20, 2024 in 10s