Merge branch 'main' into dev #22

Job	Run time
build (ninja-gcc, 17, Debug)	53s
build (ninja-gcc, 17, Release)	46s
build (ninja-gcc, 20, Debug)	39s
build (ninja-gcc, 20, Release)	42s
build (ninja-clang, 17, Debug)	52s
build (ninja-clang, 17, Release)	47s
build (ninja-clang, 20, Debug)	42s
build (ninja-clang, 20, Release)	47s
build (ninja-clang-libcpp, 17, Debug)	45s
build (ninja-clang-libcpp, 17, Release)	1m 1s
build (ninja-clang-libcpp, 20, Debug)	46s
build (ninja-clang-libcpp, 20, Release)	52s
test (ninja-gcc, 17, Debug)	12s
test (ninja-gcc, 17, Release)	13s
test (ninja-gcc, 20, Debug)	10s
test (ninja-gcc, 20, Release)	15s
test (ninja-clang, 17, Debug)	9s
test (ninja-clang, 17, Release)	9s
test (ninja-clang, 20, Debug)	8s
test (ninja-clang, 20, Release)	11s
test (ninja-clang-libcpp, 17, Debug)	9s
test (ninja-clang-libcpp, 17, Release)	10s
test (ninja-clang-libcpp, 20, Debug)	9s
test (ninja-clang-libcpp, 20, Release)	10s
	11m 37s

Provide feedback