Build documentation

`build/pkgs/nauty`: Update to 2.8.8; use VERSION in all `upstream_url`s. #7530

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
get_ci_fixes	14s
build-docs	31m 8s
	31m 22s