Skip to content
Pre Release

Pre Release #274

Sign in to view logs

Pre Release

Pre Release #274

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 14s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 17m 14s
Run LLVM test suite (18, 22.04, hl, ON)
5m 48s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 17m 44s
Run Linux kernel test suite (18, 22.04, hl, true)
24m 24s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 46s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 8m 18s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 21s
Run LLVM test suite (18, 22.04, bin, OFF)
21m 23s
Eval LLVM Singlesource results (22.04)
19s
Convert Linux Kernel benchmark results to Markdown (22.04)
27s
Eval SV-Comp test results (22.04)
15s
Build VAST doc (18, 22.04)
1m 16s
5h 0m 29s