tc #831

Job	Run time
Docker	3m 5s
Coverage (STP)	3m 5s
clang-format	3m 6s
Linux (LLVM 14)	3m 2s
macOS	3m 1s
Linux (LLVM 13)	3m 2s
Coverage (Z3)	3m 5s
Linux (LLVM 12)	3m 3s
Linux (LLVM 11, Doxygen)	3m 3s
Linux (LLVM 10)	3m 6s
Linux (LLVM 9)	3m 2s
Linux (ASan)	3m 3s
Linux (UBSan)	3m 3s
Linux (MSan)	3m 5s
Linux (Z3 only)	3m 0s
Linux (metaSMT)	3m 2s
Linux (STP master)	3m 2s
Linux (Latest klee-uclibc)	3m 1s
Linux (Asserts disabled)	3m 7s
Linux (No TCMalloc, optimised runtime)	3m 0s
	1h 1m 3s

Provide feedback