gh: Temporary commit for testing. #285

Job	Run time
Pre Release (18, 22.04)	9m 26s
Run Linux kernel test suite (18, 22.04, hl, true)	22m 53s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 16m 20s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 2m 37s
Run LLVM test suite (18, 22.04, hl, ON)	5m 32s
Run LLVM test suite (18, 22.04, hl, OFF)	5m 39s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 17m 57s
Run LLVM test suite (18, 22.04, llvm, OFF)	8m 33s
Run LLVM test suite (18, 22.04, bin, OFF)	20m 4s
Eval LLVM Singlesource results (22.04)	21s
Convert Linux Kernel benchmark results to Markdown (22.04)	18s
Eval SV-Comp test results (22.04)	15s
Build VAST doc (18, 22.04)	1m 14s
	4h 51m 9s

Provide feedback