Merge pull request #140 from elbeno/update-docs-workflow #360

Job	Run time
quality_checks_pass	1m 56s
sanitize (undefined, clang)	3m 50s
build_and_test_22 (clang, 14, 20, libc++, Debug)	3m 27s
sanitize (undefined, gcc)	4m 16s
build_and_test_24 (clang, 16, 20, libstdc++, Debug)	3m 31s
build_and_test_22 (clang, 15, 20, libstdc++, Debug)	2m 48s
build_and_test_24 (clang, 16, 20, libc++, Debug)	3m 28s
sanitize (address, clang)	3m 35s
build_and_test_22 (clang, 15, 20, libc++, Debug)	4m 14s
valgrind	7m 30s
build_and_test_24 (clang, 17, 20, libstdc++, Debug)	3m 20s
sanitize (address, gcc)	3m 50s
build_and_test_24 (clang, 17, 20, libc++, Debug)	4m 1s
sanitize (thread, clang)	4m 4s
build_and_test_24 (clang, 18, 20, libstdc++, Debug)	3m 50s
sanitize (thread, gcc)	4m 1s
build_and_test_24 (clang, 18, 20, libc++, Debug)	4m 42s
build_and_test_24 (gcc, 12, 20, libstdc++, Debug)	3m 24s
build_and_test_24 (gcc, 13, 20, libstdc++, Debug)	3m 59s
merge_ok	3s
	1h 13m 49s

Provide feedback