CI

Split Build Job into Build HTML and Build PDF #1185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-linting	38s
check-links	48s
build-pdf	14m 30s
build-html	3m 59s
check-redirects	27s
check-spelling	15m 11s
	35m 33s