ci: build and deploy odoc site to GitHub Pages - #31

ci: build and deploy odoc site to GitHub Pages#31

tiensonqin merged 1 commit into

mainlogseq/datascript-ocaml:mainfrom

devin/1791018632-odoc-pages-cilogseq/datascript-ocaml:devin/1791018632-odoc-pages-ciCopy head branch name to clipboard