Library functions: mark them as compiled #10339

Job	Run time
check-docker-image	20m 53s
check-macos-12-cmake-clang	44m 16s
check-macos-13-make-clang	54m 49s
check-string-table	2m 9s
check-ubuntu-20_04-cmake-gcc	16m 12s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 9s
check-ubuntu-20_04-cmake-gcc-THOROUGH	8m 10s
check-ubuntu-20_04-make-clang	25m 45s
check-ubuntu-20_04-make-clang-smt-z3	3m 49s
check-ubuntu-20_04-make-gcc	34m 20s
check-ubuntu-22_04-cmake-gcc	17m 31s
check-ubuntu-22_04-cmake-gcc-32bit	14m 18s
check-ubuntu-22_04-make-clang	19m 4s
check-ubuntu-24_04-cmake-gcc-14	15m 40s
check-vs-2019-cmake-build-and-test	32m 31s
check-vs-2022-make-build-and-test	34m 55s
include-what-you-use	22m 41s
windows-msi-package	6m 10s
	6h 16m 22s

Provide feedback