Merge pull request #839 from juandpenan/fix/#827-incorporing-survey #386

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	51s
build-organization	1m 36s
build-rulebook	1m 38s
build-scoresheets	1m 29s
deploy-pdfs	10s
	5m 44s