Misonijnik/dev #348

Job	Run time
Docker	8m 46s
clang-format	5m 54s
Linux (LLVM 14)	13m 48s
Coverage (STP)	28m 30s
Linux (LLVM 13)	13m 36s
macOS	6m 49s
Coverage (Z3)	32m 10s
Linux (LLVM 12)	14m 27s
Coverage (Bitwuzla)	33m 28s
Linux (LLVM 11, Doxygen)	14m 9s
Linux (LLVM 10)	13m 59s
Linux (LLVM 9)	13m 43s
Linux (ASan)	36m 41s
Linux (UBSan)	32m 32s
Linux (MSan)	53m 7s
Linux (Z3 only)	11m 7s
Linux (metaSMT)	18m 7s
Linux (STP master)	11m 5s
Linux (Bitwuzla only)	12m 43s
Linux (Latest klee-uclibc)	13m 12s
Linux (Asserts disabled)	12m 58s
Linux (No TCMalloc, optimised runtime)	11m 8s
	6h 51m 59s

Provide feedback