Skip to content
Pre Release

Pre Release #292

Sign in to view logs

Pre Release

Pre Release #292

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 51s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 18m 32s
Run LLVM test suite (18, 22.04, hl, ON)
6m 36s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 18m 9s
Run Linux kernel test suite (18, 22.04, hl, true)
23m 54s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 33s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 2m 29s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 38s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 24s
Eval LLVM Singlesource results (22.04)
26s
Convert Linux Kernel benchmark results to Markdown (22.04)
16s
Eval SV-Comp test results (22.04)
15s
Build VAST doc (18, 22.04)
1m 44s
4h 56m 47s