CI

Add a human-friendly HTML template for mentions #4375

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Functests	2m 6s
Lint	11s
Format	14s
Tests	1m 37s
Typecheck	28s
Frontend / Frontend	54s
Coverage	0s
	5m 30s