.github/workflows/linux.yml

Document a lot of stuff #1067

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
shellcheck	4s
compare-compilers	46s
editorconfig-checker	4s
doctest (11)	23s
doctest (13)	13s
test (11, -O0)	4m 58s
test (11, -O1)	4m 37s
test (11, -O2)	4m 51s
test (11, -O3)	4m 56s
test (13, -O0)	5m 12s
test (13, -O1)	5m 15s
test (13, -O2)	5m 28s
test (13, -O3)	5m 35s
	42m 22s