CI

Allow different types of heading badges #30946

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint and check format	4m 6s
Run tests	2m 20s
Build frontend	4m 45s
Build supervisor	4m 46s
	15m 57s