CI

Use ghostscript to compress PDF output on RTD #1160

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-linting	40s
check-links	48s
check-redirects	39s
build	16m 51s
check-spelling	17s
	19m 15s