CI

Add a human-friendly HTML template for mentions #4366

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	12s
Lint	11s
Functests	2m 0s
Tests	1m 49s
Typecheck	1m 0s
Frontend / Frontend	1m 2s
Coverage	0s
	6m 14s