Skip to content

chore(CI): add a Github pages deploy workflow#715

Merged
dgonzalezr merged 1 commit intomainfrom chore/github-pages-deployDec 18, 2023
+43

Commits

Commits on Dec 18, 2023