Skip to content
Pre Release

Pre Release #299

Sign in to view logs

Pre Release

Pre Release #299

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
10m 29s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 16m 10s
Run LLVM test suite (18, 22.04, hl, ON)
5m 37s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 17m 48s
Run Linux kernel test suite (18, 22.04, hl, true)
24m 32s
Run LLVM test suite (18, 22.04, hl, OFF)
6m 44s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 3m 17s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 54s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 43s
Eval LLVM Singlesource results (22.04)
20s
Convert Linux Kernel benchmark results to Markdown (22.04)
16s
Eval SV-Comp test results (22.04)
25s
Build VAST doc (18, 22.04)
1m 53s
4h 57m 8s