CI

Allow different types of heading badges #30947

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run tests	2m 12s
Lint and check format	2m 56s
Build supervisor	1s
Build frontend	1s
	5m 10s