Repository navigation

Build mkdocs and deploy to GitHub Pages

sync to head #1349

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	6m 35s
Deploy docs	0s
pages	-1s
	6m 34s