CI

Improve type coverage for auto-grading #5988

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	11s
Functests	1m 44s
Lint	45s
BDD Tests	1m 27s
Tests	2m 11s
Typecheck	27s
Frontend / Frontend	1m 16s
Coverage	14s
	8m 15s