Skip to content
Pre Release

Pre Release #287

Sign in to view logs

Pre Release

Pre Release #287

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 33s
Run Linux kernel test suite (18, 22.04, hl, true)
23m 46s
Run LLVM test suite (18, 22.04, hl, ON)
6m 18s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 3m 0s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 18m 36s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 28s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 18m 39s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 18s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 27s
Eval LLVM Singlesource results (22.04)
18s
Convert Linux Kernel benchmark results to Markdown (22.04)
17s
Eval SV-Comp test results (22.04)
20s
Build VAST doc (18, 22.04)
1m 16s
4h 56m 16s