CI

Make sure dashboard page titles update when navigating #5216

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Typecheck	26s
BDD Tests	1m 26s
Format	9s
Functests	1m 38s
Lint	38s
Tests	2m 1s
Frontend / Frontend	1m 4s
Coverage	11s
	7m 33s