Repository navigation

Build mkdocs and deploy to GitHub Pages

Bot Updating Documentation #1578

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 21s
Deploy docs	1m 37s
pages	8s
	3m 6s