CI

Split Build Job into Build HTML and Build PDF #1184

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Links (diff)	49s
Build HTML	2m 45s
Build PDF	11m 30s
Check Linting	33s
Check Redirects	38s
Check Spelling	14s
	16m 29s