[ci] #493

Job	Run time
Coverage (STP)	32m 14s
clang-format	5m 29s
Coverage (Z3)	34m 28s
Docker	8m 36s
Coverage (Bitwuzla)	35m 15s
Linux (LLVM 14)	13m 44s
macOS	7m 5s
Linux (LLVM 13)	14m 5s
Linux (LLVM 12)	13m 52s
Linux (LLVM 11, Doxygen)	13m 19s
Linux (LLVM 10)	12m 48s
Linux (LLVM 9)	13m 20s
Linux (ASan)	57m 25s
Linux (UBSan)	57m 36s
Linux (MSan)	1h 12m 29s
Linux (Z3 only)	12m 14s
Linux (metaSMT)	20m 31s
Linux (STP master)	12m 17s
Linux (Bitwuzla only)	12m 44s
Linux (Latest klee-uclibc)	13m 46s
Linux (Asserts disabled)	12m 46s
Linux (No TCMalloc, optimised runtime)	30m 21s
	8h 26m 24s

Provide feedback