Repository navigation

Build mkdocs and deploy to GitHub Pages

Bot Updating Documentation #1605

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	10s
Deploy docs	1s
pages	1s
	12s