Pre Release #362

Job	Run time
Pre Release (19, 22.04)	11m 46s
Run LLVM test suite (19, 22.04, hl, ON)	5m 35s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 27s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 26s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 4m 31s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 20s
Run LLVM test suite (19, 22.04, llvm, OFF)	11m 13s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 22m 21s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 41s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 20m 56s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 44s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 21m 32s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 27s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 32s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 35s
Convert gzip results to Markdown (22.04, 1.10)	19s
Convert gzip results to Markdown (22.04, 1.13)	19s
Eval LLVM Singlesource results (22.04)	15s
Convert Linux Kernel benchmark results to Markdown (22.04)	21s
Eval SV-Comp test results (22.04)	28s
Build VAST doc (19, 22.04)	1m 55s
	6h 5m 43s

Provide feedback