ci: Explicitly publish to GitHub pages when making a release#63
Merged
edgarrmondragon merged 1 commit intomainfrom Dec 8, 2025
Merged
ci: Explicitly publish to GitHub pages when making a release#63edgarrmondragon merged 1 commit intomainfrom
edgarrmondragon merged 1 commit intomainfrom