Merge pull request #76 from christophe-f8/main #498

Job	Run time
build_linux_deprecated_extensions (gcc-9, ubuntu-22.04)	1m 55s
build_linux (gcc-9, ubuntu-22.04, NO)	2m 34s
build_linux_deprecated_extensions (gcc-10, ubuntu-22.04)	2m 4s
build_linux (gcc-10, ubuntu-22.04, NO)	2m 18s
build_windows (NO)	3m 56s
build_windows_deprecated_extensions	3m 27s
build_linux_deprecated_extensions (clang-13, ubuntu-22.04)	2m 12s
build_linux (gcc-10, ubuntu-22.04, YES)	2m 59s
build_windows (YES)	4m 26s
build_linux_deprecated_extensions (ubuntu-24.04, gcc-14, g++-14)	2m 45s
build_linux (clang-13, ubuntu-22.04, NO)	2m 26s
build_linux_deprecated_extensions (ubuntu-24.04, clang-18, clang++-18)	2m 20s
build_linux (clang-15, ubuntu-22.04, NO)	2m 10s
build_linux (clang-15, ubuntu-22.04, YES)	2m 21s
build_linux (ubuntu-24.04, gcc-14, g++-14)	2m 10s
build_linux (ubuntu-24.04, clang-18, clang++-18)	3m 14s
	43m 17s

Provide feedback