Build Docs

Initialize aggregation metrics with default floating type #4142

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs-make (html)	1m 13s
docs-make (doctest)	1m 11s
docs-make (linkcheck)	1m 13s
deploy-docs	1s
	3m 38s