Pre Release #288

Job	Run time
Pre Release (18, 22.04)	9m 41s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 18m 4s
Run Linux kernel test suite (18, 22.04, hl, true)	23m 52s
Run LLVM test suite (18, 22.04, hl, ON)	5m 27s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 20m 1s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 2m 47s
Run LLVM test suite (18, 22.04, hl, OFF)	5m 27s
Run LLVM test suite (18, 22.04, llvm, OFF)	10m 12s
Run LLVM test suite (18, 22.04, bin, OFF)	20m 8s
Eval LLVM Singlesource results (22.04)	19s
Convert Linux Kernel benchmark results to Markdown (22.04)	16s
Eval SV-Comp test results (22.04)	19s
Build VAST doc (18, 22.04)	1m 48s
	4h 58m 21s

Provide feedback