.github/workflows/linux.yml

move run_exe() to separate file #1078

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
shellcheck	6s
test (11, -O0)	5m 2s
test (11, -O1)	5m 14s
test (11, -O2)	5m 29s
test (11, -O3)	5m 23s
compare-compilers	48s
test (13, -O0)	5m 45s
test (13, -O1)	5m 53s
doctest (11)	23s
test (13, -O2)	6m 7s
doctest (13)	16s
test (13, -O3)	6m 17s
editorconfig-checker	7s
	46m 50s