CI

CI: upload manual.pdf uncompressed #44

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
stable-4.14	2m 26s
master	1m 56s
stable-4.15	2m 4s
stable-4.12	2m 18s
stable-4.13	2m 6s
	10m 50s