CI

Add a human-friendly HTML template for mentions #4367

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	11s
Format	18s
Functests	1m 51s
Tests	1m 57s
Typecheck	23s
Frontend / Frontend	1m 4s
Coverage	0s
	5m 44s