add Duration of tasks to scoresheet for recording #602

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	46s
build-organization	1m 22s
build-rulebook	1m 24s
build-scoresheets	1m 20s
deploy-pdfs	13s
	5m 5s