Pre Release #361

Job	Run time
Pre Release (19, 22.04)	12m 8s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 2m 52s
Run LLVM test suite (19, 22.04, hl, ON)	5m 45s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 47s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 23m 31s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 46s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 39s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 21m 21s
Run LLVM test suite (19, 22.04, llvm, OFF)	10m 22s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 23s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 46s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 47s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 37s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 30s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 31s
Convert gzip results to Markdown (22.04, 1.10)	15s
Convert gzip results to Markdown (22.04, 1.13)	15s
Eval LLVM Singlesource results (22.04)	17s
Convert Linux Kernel benchmark results to Markdown (22.04)	16s
Eval SV-Comp test results (22.04)	18s
Build VAST doc (19, 22.04)	1m 53s
	5h 47m 59s

Provide feedback