Rename frontpage badges #4328

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	21m 26s
tests (part1)	13m 25s
tests_old (part1)	10m 59s
format	18s
tests (part2)	18m 44s
tests_old (part2)	17m 48s
types	1m 8s
tests (part3)	12m 25s
tests_old (part3)	11m 48s
tests (part4)	22m 32s
types_old	1m 0s
tests_old (part4)	16m 56s
	2h 28m 29s