Pre Release #303

Job	Run time
Pre Release (18, 22.04)	10m 8s
Run Linux kernel test suite (18, 22.04, hl, true)	24m 30s
Run LLVM test suite (18, 22.04, hl, ON)	5m 25s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 19m 12s
Run LLVM test suite (18, 22.04, hl, OFF)	5m 32s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 3m 16s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 16m 17s
Run LLVM test suite (18, 22.04, llvm, OFF)	8m 31s
Run LLVM test suite (18, 22.04, bin, OFF)	20m 32s
Eval LLVM Singlesource results (22.04)	20s
Convert Linux Kernel benchmark results to Markdown (22.04)	14s
Eval SV-Comp test results (22.04)	16s
Build VAST doc (18, 22.04)	1m 56s
	4h 56m 9s

Provide feedback