CI #1495

Job	Run time
clang-format	19s
Docker	8m 50s
Coverage (STP)	54m 41s
Linux (LLVM 16)	12m 43s
Coverage (Z3)	58m 22s
macOS	12m 4s
Linux (LLVM 15)	12m 34s
Coverage (Bitwuzla)	1h 0m 36s
Linux (LLVM 14)	16m 15s
Linux (LLVM 13)	15m 5s
Linux (LLVM 12)	14m 49s
Linux (LLVM 11, Doxygen)	15m 42s
Linux (ASan)	38m 10s
Linux (UBSan)	36m 10s
Linux (MSan)	1h 12m 28s
Linux (Z3 only)	13m 48s
Linux (metaSMT)	37m 55s
Linux (STP master)	16m 8s
Linux (Bitwuzla only)	14m 58s
Linux (Latest klee-uclibc)	16m 18s
Linux (Asserts disabled)	14m 27s
Linux (No TCMalloc, optimised runtime)	44m 52s
	9h 47m 14s

Provide feedback