CI

Split Build Job into Build HTML and Build PDF #1181

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Links (diff)	1m 1s
Build PDF	14m 2s
Build HTML	3m 39s
Check Linting	37s
Check Redirects	35s
Check Spelling	14s
	20m 8s