Merge pull request #145 from elbeno/into-variant #377

Job	Run time
quality_checks_pass	58s
build_and_test_22 (clang, 14, 20, libc++, Debug)	3m 16s
build_and_test_24 (clang, 16, 20, libstdc++, Debug)	3m 22s
build_and_test_22 (clang, 15, 20, libstdc++, Debug)	2m 58s
sanitize (undefined, clang)	3m 25s
build_and_test_24 (clang, 16, 20, libc++, Debug)	3m 26s
build_and_test_22 (clang, 15, 20, libc++, Debug)	3m 30s
sanitize (undefined, gcc)	4m 18s
valgrind	7m 47s
build_and_test_24 (clang, 17, 20, libstdc++, Debug)	3m 11s
sanitize (address, clang)	3m 24s
build_and_test_24 (clang, 17, 20, libc++, Debug)	3m 39s
sanitize (address, gcc)	4m 13s
build_and_test_24 (clang, 18, 20, libstdc++, Debug)	3m 48s
sanitize (thread, clang)	3m 45s
build_and_test_24 (clang, 18, 20, libc++, Debug)	4m 18s
sanitize (thread, gcc)	4m 16s
build_and_test_24 (gcc, 12, 20, libstdc++, Debug)	3m 45s
build_and_test_24 (gcc, 13, 20, libstdc++, Debug)	3m 37s
merge_ok	5s
	1h 11m 1s

Provide feedback