CI

Model for auto grading settings #5982

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	8s
BDD Tests	1m 32s
Functests	1m 50s
Lint	55s
Tests	2m 21s
Typecheck	28s
Frontend / Frontend	1m 7s
Coverage	17s
	8m 38s