Intergration with Cooddy #807

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

Provide feedback