Build docs

Simplify process group removal #4372

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-flight / pre-flight	9s
build-docs / Build docs	4m 20s
build-docs-summary	3s
	4m 32s