Back to pull request #37740

Disable most documentation notifications on GitHub #6043

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
get_ci_fixes	14s
build-docs-pdf	1h 11m 48s
	1h 12m 2s