Build (& deploy) Docs

reproducer tests: grab output/error, and use the correct python #5397

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs-make (html)	49s
docs-make (doctest)	50s
docs-make (linkcheck)	50s
deploy-docs	1s
	2m 30s