Back to pull request #838

The rulebook should mandate that we actually solve the technical challenges #806 #372

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	49s
build-organization	1m 35s
build-rulebook	1m 40s
build-scoresheets	1m 40s
deploy-pdfs	14s
	5m 58s