Pre Release #297

Job	Run time
Pre Release (18, 22.04)	9m 59s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 19m 34s
Run LLVM test suite (18, 22.04, hl, ON)	5m 45s
Run Linux kernel test suite (18, 22.04, hl, true)	23m 54s
Run LLVM test suite (18, 22.04, hl, OFF)	5m 39s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 17m 30s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 1m 49s
Run LLVM test suite (18, 22.04, llvm, OFF)	8m 53s
Run LLVM test suite (18, 22.04, bin, OFF)	21m 24s
Eval LLVM Singlesource results (22.04)	18s
Convert Linux Kernel benchmark results to Markdown (22.04)	16s
Eval SV-Comp test results (22.04)	20s
Build VAST doc (18, 22.04)	1m 57s
	4h 57m 18s

Provide feedback