merge #282

Job	Run time
windows (msvc-14.0, 14,latest, 32,64, windows-2019, -j3)	3m 30s
posix (gcc-12, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefine...	12m 9s
windows (gcc, 03,11,14,17,2a, 64, windows-2019, -j3)	12m 14s
posix (gcc-11, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefine...	10m 13s
windows (msvc-14.3, 20,latest, 64, windows-2022, -j1)	18m 4s
posix (gcc-10, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefine...	14m 28s
posix (gcc-9, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefined...	8m 51s
posix (clang-14, 03,11,14,17,20, ubuntu-22.04)	7m 48s
posix (clang-13, 03,11,14,17,20, ubuntu-22.04)	7m 35s
finish	5s
	1h 34m 57s

Provide feedback