CI #146

Job	Run time
Docker	8m 11s
Coverage (STP)	30m 16s
Coverage (Z3)	31m 57s
macOS	6m 8s
Coverage (Bitwuzla)	34m 31s
Linux (LLVM 14)	13m 44s
Linux (LLVM 13)	14m 7s
Linux (LLVM 12)	12m 39s
Linux (LLVM 11, Doxygen)	13m 28s
Linux (LLVM 10)	13m 8s
Linux (LLVM 9)	13m 20s
Linux (ASan)	45m 19s
Linux (UBSan)	42m 26s
Linux (MSan)	51m 41s
Linux (Z3 only)	11m 54s
Linux (metaSMT)	18m 3s
Linux (STP master)	11m 46s
Linux (Bitwuzla only)	12m 31s
Linux (Latest klee-uclibc)	14m 3s
Linux (Asserts disabled)	13m 25s
Linux (No TCMalloc, optimised runtime)	11m 50s
	7h 4m 27s

Provide feedback