CI

Add a human-friendly HTML template for mentions #4369

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Functests	1m 58s
Lint	8s
Format	8s
Tests	1m 54s
Typecheck	23s
Frontend / Frontend	53s
Coverage	0s
	5m 24s