Back to pull request #655

auto delete auto-pr branch which is merged #78

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gcc850	1m 23s
test850	12m 12s
gcc921	1m 21s
gcc1031	1m 17s
test921	12m 13s
gcc1121	1m 19s
test1031	12m 10s
test1121	12m 15s
gcc1211	1m 42s
test1211	12m 26s
	1h 8m 18s