Sync with a35dd2d #151

Job	Run time
windows-2022 (Release)	1h 11m 43s
windows-2022 (Debug)	45m 36s
ubuntu-22.04 (gcc, RelwithDebInfo, AddressSanitizer)	1h 57m 38s
ubuntu-22.04 (gcc, RelwithDebInfo, ThreadSanitizer)	59m 6s
ubuntu-22.04 (llvm, RelwithDebInfo, AddressSanitizer)	1h 3m 53s
ubuntu-22.04 (llvm, RelwithDebInfo, ThreadSanitizer)	46m 45s
ubuntu-22.04 (gcc, Debug, AddressSanitizer)	1h 8m 1s
ubuntu-22.04 (gcc, Debug, ThreadSanitizer)	41m 48s
ubuntu-22.04 (llvm, Debug, AddressSanitizer)	32m 26s
ubuntu-22.04 (llvm, Debug, ThreadSanitizer)	35m 23s
macos-13 (apple, RelwithDebInfo, AddressSanitizer)	48m 28s
macos-13 (llvm, RelwithDebInfo, AddressSanitizer)	1h 15m 5s
macos-14 (apple, RelwithDebInfo, AddressSanitizer)	31m 31s
macos-14 (apple, RelwithDebInfo, ThreadSanitizer)	23m 56s
macos-14 (llvm, RelwithDebInfo, AddressSanitizer)	35m 2s
macos-14 (llvm, RelwithDebInfo, ThreadSanitizer)	26m 11s
macos-14 (apple, Debug, AddressSanitizer)	19m 19s
macos-14 (apple, Debug, ThreadSanitizer)	20m 41s
macos-14 (llvm, Debug, AddressSanitizer)	21m 10s
macos-14 (llvm, Debug, ThreadSanitizer)	22m 41s
	15h 6m 23s

Provide feedback