CI: fix documentation #1156

Job	Run time
linux (gcc, 32)	2m 58s
macos (gcc, 64)	1s
linux (gcc, 64)	3m 25s
android (aarch64-linux-android)	3m 11s
macos (gcc, 64, aarch64-apple-ios)	1s
linux (clang, 32)	3m 25s
macos (gcc, 64, aarch64-apple-darwin)	1s
linux (clang, 64)	3m 26s
macos (clang, 64)	2m 45s
default	1m 0s
macos (clang, 64, aarch64-apple-ios)	1s
s390x-gcc	2m 23s
macos (clang, 64, aarch64-apple-darwin)	2m 28s
windows (32)	1m 41s
windows (64)	8s
windows (64, --msvc)	1s
	26m 55s

Provide feedback