Misonijnik/dev #345

Job	Run time
Docker	7m 50s
clang-format	5m 53s
Coverage (STP)	24m 21s
Linux (LLVM 14)	12m 25s
Coverage (Z3)	24m 21s
Linux (LLVM 13)	12m 24s
macOS	7m 3s
Coverage (Bitwuzla)	24m 22s
Linux (LLVM 12)	12m 23s
Linux (LLVM 11, Doxygen)	12m 25s
Linux (LLVM 10)	12m 16s
Linux (LLVM 9)	12m 24s
Linux (ASan)	12m 26s
Linux (UBSan)	12m 23s
Linux (MSan)	12m 24s
Linux (Z3 only)	6m 25s
Linux (metaSMT)	12m 23s
Linux (STP master)	9m 47s
Linux (Bitwuzla only)	12m 13s
Linux (Latest klee-uclibc)	12m 24s
Linux (Asserts disabled)	12m 9s
Linux (No TCMalloc, optimised runtime)	11m 39s
	4h 42m 20s

Provide feedback