Pre Release #280

Job	Run time
Pre Release (18, 22.04)	9m 9s
Run Linux kernel test suite (18, 22.04, hl, true)	24m 56s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 17m 37s
Run LLVM test suite (18, 22.04, hl, ON)	5m 34s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 8m 33s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 17m 58s
Run LLVM test suite (18, 22.04, hl, OFF)	6m 41s
Run LLVM test suite (18, 22.04, llvm, OFF)	8m 13s
Run LLVM test suite (18, 22.04, bin, OFF)	20m 28s
Eval LLVM Singlesource results (22.04)	18s
Convert Linux Kernel benchmark results to Markdown (22.04)	19s
Eval SV-Comp test results (22.04)	20s
Build VAST doc (18, 22.04)	1m 16s
	5h 1m 22s

Provide feedback