Merge pull request #403 from elbeno/small-fixes-design-docs #1085

Job	Run time
build_and_test_24 (clang, 21, 23, libstdc++, Debug)	5m 44s
build_and_test_24 (clang, 18, 23, libstdc++, Debug)	6m 19s
quality_checks_pass	1m 1s
build_and_test_24 (gcc, 14, 23, libstdc++, Debug)	5m 12s
sanitize (thread, gcc)	5m 29s
build_and_test_24 (gcc, 12, 23, libstdc++, Debug)	4m 34s
build_and_test_24 (gcc, 13, 23, libstdc++, Debug)	6m 14s
sanitize (undefined, clang)	5m 50s
mutate	5m 36s
valgrind	4m 6s
sanitize (address, clang)	6m 36s
build_and_test_24 (clang, 22, 23, libc++, Debug)	6m 46s
sanitize (thread, clang)	5m 58s
build_and_test_24 (clang, 22, 23, libstdc++, Debug)	7m 39s
build_and_test_24 (clang, 21, 23, libc++, Debug)	7m 12s
sanitize (address, gcc)	5m 40s
sanitize (undefined, gcc)	6m 26s
build_and_test_24 (clang, 20, 23, libc++, Debug)	7m 16s
build_and_test_24 (clang, 18, 23, libc++, Debug)	7m 38s
build_and_test_24 (clang, 19, 23, libstdc++, Debug)	6m 25s
build_and_test_24 (clang, 19, 23, libc++, Debug)	6m 31s
build_and_test_24 (clang, 20, 23, libstdc++, Debug)	6m 1s
merge_ok	4s
	2h 10m 17s

Navigation Menu