Skip to content

Switch GitHub Pages deployment to Actions workflow#1583

Merged
felixweinberger merged 1 commit intomainfrom
localden/docs
Feb 25, 2026
Merged

Switch GitHub Pages deployment to Actions workflow#1583
felixweinberger merged 1 commit intomainfrom
localden/docs

Commits

Commits on Feb 25, 2026