CI

Bump actions/checkout from 3 to 4; New latex docker image (#825) #302

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 18s
build-rulebook	2m 22s
build-scoresheets	2m 11s
deploy-pdfs	7s
	5m 58s