Pre Release #206

Job	Run time
Pre Release (18, 22.04)	8m 36s
Pre Release (18, 22.04)	8m 36s
Run SV-Comp test suite (18, 22.04, hl)	4m 9s
Run SV-Comp test suite (18, 22.04, hl)	32m 37s
Run LLVM test suite (18, 22.04, hl)	5m 47s
Run LLVM test suite (18, 22.04, hl)	5m 47s
Run LLVM test suite (18, 22.04, llvm)	8m 38s
Run LLVM test suite (18, 22.04, llvm)	8m 38s
Run LLVM test suite (18, 22.04, bin)	13m 52s
Run LLVM test suite (18, 22.04, bin)	13m 52s
Eval SV-Comp test results	0s
Eval LLVM Singlesource results (22.04)	20s
Eval LLVM Singlesource results (22.04)	20s
Build VAST doc	0s
Eval SV-Comp test results (22.04)	23s
Build VAST doc (18, 22.04)	1m 17s
	1h 52m 52s

Provide feedback