Build Docs

docs: fix specificity when metric is not defined #4749

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs-make (html)	11m 38s
docs-make (doctest)	7m 21s
docs-make (linkcheck)	7m 5s
deploy-docs	0s
	26m 4s