CI

Use ghostscript to compress PDF output on RTD #1158

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-links	59s
check-linting	43s
check-redirects	54s
build	13m 19s
check-spelling	14s
	16m 9s