uClibc 32bit #765

Job	Run time
Docker	4m 34s
Coverage (STP)	31m 3s
Coverage (Z3)	32m 59s
clang-format	5m 43s
Linux (LLVM 14)	17m 46s
Linux (LLVM 13)	16m 14s
Linux (LLVM 12)	13m 22s
Linux (LLVM 11, Doxygen)	13m 18s
Linux (LLVM 10)	12m 9s
Linux (LLVM 9)	12m 2s
Linux (ASan)	47m 7s
Linux (UBSan)	31m 31s
Linux (MSan)	45m 50s
Linux (Z3 only)	16m 55s
Linux (metaSMT)	32m 13s
Linux (STP master)	21m 16s
Linux (Latest klee-uclibc)	16m 27s
Linux (Asserts disabled)	15m 32s
Linux (No TCMalloc, optimised runtime)	12m 26s
macOS	13m 57s
	6h 52m 24s

Provide feedback