CI

Add a human-friendly HTML template for mentions #4376

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	9s
Format	9s
Functests	1m 58s
Tests	2m 6s
Typecheck	23s
Frontend / Frontend	56s
Coverage	0s
	5m 41s