Deploy odoc to GitHub Pages

Fix doc upload to GitHub Pages #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Deploy odoc to GitHub Pages	8m 48s
Deploy odoc to GitHub Pages	6m 10s
	14m 58s