Build Docs

Merge pull request #3699 from sgdecker/fix3698 #4968

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux 3.10	12m 10s
Linux 3.11	11m 44s
Linux 3.12	5m 47s
Linux 3.13	5m 51s
Deploy	32s
	36m 4s