Pre Release #272

Job	Run time
Pre Release (18, 22.04)	9m 34s
Run Linux kernel test suite (18, 22.04, hl, true)	24m 38s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 17m 7s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 8m 8s
Run LLVM test suite (18, 22.04, hl, ON)	5m 30s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 16m 57s
Run LLVM test suite (18, 22.04, hl, OFF)	5m 34s
Run LLVM test suite (18, 22.04, llvm, OFF)	8m 33s
Run LLVM test suite (18, 22.04, bin, OFF)	22m 23s
Eval LLVM Singlesource results (22.04)	22s
Convert Linux Kernel benchmark results to Markdown (22.04)	20s
Eval SV-Comp test results (22.04)	14s
Build VAST doc (18, 22.04)	1m 21s
	5h 0m 41s

Provide feedback