Rename frontpage badges #4324

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	21m 10s
format	16s
tests (part1)	13m 21s
tests_old (part1)	11m 8s
tests (part2)	18m 49s
types	1m 10s
tests_old (part2)	17m 20s
types_old	1m 12s
tests (part3)	12m 20s
tests_old (part3)	12m 12s
tests (part4)	21m 34s
tests_old (part4)	16m 51s
	2h 27m 23s