Merge pull request #8471 from tautschnig/loops-man-pages #10493

Job	Run time
check-ubuntu-20_04-make-gcc	19m 32s
check-macos-12-cmake-clang	50m 34s
check-macos-13-make-clang	29m 29s
check-ubuntu-20_04-cmake-gcc	16m 36s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 19s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 42s
check-ubuntu-20_04-make-clang	22m 27s
check-ubuntu-20_04-make-clang-smt-z3	4m 36s
check-ubuntu-22_04-cmake-gcc	16m 30s
check-ubuntu-22_04-cmake-gcc-32bit	14m 39s
check-ubuntu-22_04-make-clang	16m 46s
check-ubuntu-24_04-cmake-gcc-14	15m 5s
check-docker-image	22m 25s
check-string-table	2m 10s
check-vs-2019-cmake-build-and-test	50m 13s
check-vs-2022-make-build-and-test	18m 28s
include-what-you-use	23m 33s
windows-msi-package	23m 46s
	5h 59m 50s

Provide feedback