Merge pull request #408 from elbeno/filter-tuple #1095

Job	Run time
valgrind	3m 59s
build_and_test_24 (clang, 22, 23, libstdc++, Debug)	6m 41s
quality_checks_pass	56s
build_and_test_24 (clang, 21, 23, libc++, Debug)	6m 24s
mutate	5m 37s
sanitize (address, gcc)	5m 22s
sanitize (address, clang)	6m 0s
build_and_test_24 (gcc, 12, 23, libstdc++, Debug)	4m 57s
build_and_test_24 (gcc, 13, 23, libstdc++, Debug)	5m 3s
build_and_test_24 (clang, 21, 23, libstdc++, Debug)	6m 26s
build_and_test_24 (gcc, 14, 23, libstdc++, Debug)	5m 8s
sanitize (thread, clang)	6m 2s
sanitize (undefined, clang)	7m 0s
sanitize (undefined, gcc)	5m 9s
build_and_test_24 (clang, 20, 23, libc++, Debug)	6m 41s
build_and_test_24 (clang, 18, 23, libc++, Debug)	8m 14s
build_and_test_24 (clang, 18, 23, libstdc++, Debug)	6m 19s
build_and_test_24 (clang, 20, 23, libstdc++, Debug)	6m 23s
build_and_test_24 (clang, 19, 23, libstdc++, Debug)	7m 22s
build_and_test_24 (clang, 22, 23, libc++, Debug)	6m 51s
sanitize (thread, gcc)	5m 43s
build_and_test_24 (clang, 19, 23, libc++, Debug)	10m 3s
merge_ok	5s
	2h 12m 25s

Navigation Menu