Skip to content
Pre Release

Pre Release #290

Sign in to view logs

Pre Release

Pre Release #290

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
10m 5s
Run Linux kernel test suite (18, 22.04, hl, true)
23m 41s
Run LLVM test suite (18, 22.04, hl, ON)
5m 31s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 2m 3s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 17m 19s
Run LLVM test suite (18, 22.04, hl, OFF)
6m 31s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 17m 32s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 39s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 24s
Eval LLVM Singlesource results (22.04)
20s
Convert Linux Kernel benchmark results to Markdown (22.04)
21s
Eval SV-Comp test results (22.04)
17s
Build VAST doc (18, 22.04)
1m 45s
4h 54m 28s