Skip to content
Pre Release

Pre Release #273

Sign in to view logs

Pre Release

Pre Release #273

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 23s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 17m 4s
Run Linux kernel test suite (18, 22.04, hl, true)
24m 21s
Run LLVM test suite (18, 22.04, hl, ON)
5m 39s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 20m 0s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 9m 7s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 35s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 20s
Run LLVM test suite (18, 22.04, bin, OFF)
30m 49s
Eval LLVM Singlesource results (22.04)
19s
Convert Linux Kernel benchmark results to Markdown (22.04)
15s
Eval SV-Comp test results (22.04)
15s
Build VAST doc (18, 22.04)
1m 26s
5h 12m 33s