[ci] #1473

Job	Run time
clang-format	5m 54s
Docker	8m 2s
Coverage (STP)	14m 41s
Coverage (Z3)	14m 35s
Linux (LLVM 14)	7m 38s
Coverage (Bitwuzla)	14m 23s
macOS	22s
Linux (LLVM 13)	7m 41s
Linux (LLVM 12)	7m 37s
Linux (LLVM 11, Doxygen)	7m 39s
Linux (LLVM 10)	7m 37s
Linux (LLVM 9)	7m 37s
Linux (ASan)	7m 39s
Linux (UBSan)	7m 38s
Linux (MSan)	7m 36s
Linux (Z3 only)	1s
Linux (metaSMT)	7m 39s
Linux (STP master)	7m 38s
Linux (Bitwuzla only)	7m 39s
Linux (Latest klee-uclibc)	7m 43s
Linux (Asserts disabled)	7m 22s
Linux (No TCMalloc, optimised runtime)	7m 37s
	2h 52m 18s

Provide feedback