Skip to content

Simplify CI workflow by removing GitHub Pages deployment - #16

Merged
gavindidrichsen merged 1 commit into
mainfrom
test-gh-pages-publish
Aug 4, 2025
Merged

Simplify CI workflow by removing GitHub Pages deployment#16
gavindidrichsen merged 1 commit into
mainfrom
test-gh-pages-publish

Commits

Commits on Aug 4, 2025