Build documentation

Build documentation #2321

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check and build doc (master)	6h 5m 0s
Check and build doc (release-3.5)	6h 5m 0s
check-doc	7m 2s
Check and build doc (release-3.4)	6h 0m 6s
	18h 17m 8s