.github/workflows/linux.yml

Improve Mathlib #1264

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
editorconfig-checker	7s
shellcheck	7s
doctest	33s
test (11, -O0)	9m 26s
test (11, -O1)	9m 3s
test (11, -O2)	9m 31s
test (11, -O3)	9m 31s
compare-compilers	1m 26s
test (13, -O0)	10m 23s
test (13, -O1)	10m 13s
test (13, -O2)	10m 44s
test (13, -O3)	10m 40s
test (14, -O0)	10m 30s
test (14, -O1)	10m 27s
test (14, -O2)	10m 44s
test (14, -O3)	10m 51s
	2h 4m 16s