CI

Adjust grading API certification test to account for API changes #5085

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	50s
Functests	1m 41s
Tests	2m 20s
Format	11s
Typecheck	33s
BDD Tests	1m 26s
Frontend / Frontend	1m 12s
Coverage	15s
	8m 28s