CI

Don't send multiple emails on reply with mentions #4371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	7s
Format	11s
Functests	2m 1s
Tests	1m 58s
Typecheck	26s
Frontend / Frontend	1m 10s
Coverage	32s
	6m 25s