Merge pull request #3303 from sanvila/main #2711

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clang-19	2m 13s
clang-18	2m 26s
clang-17	2m 31s
gcc-14	1m 6s
gcc-13	1m 40s
gcc-12	1m 8s
gcc-11	1m 6s
intel	1m 37s
	13m 47s