Skip to content
Pre Release

Pre Release #293

Sign in to view logs

Pre Release

Pre Release #293

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 55s
Run Linux kernel test suite (18, 22.04, hl, true)
23m 29s
Run LLVM test suite (18, 22.04, hl, ON)
5m 37s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 16m 48s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 1m 51s
Run LLVM test suite (18, 22.04, hl, OFF)
6m 44s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 19m 39s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 32s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 39s
Eval LLVM Singlesource results (22.04)
19s
Convert Linux Kernel benchmark results to Markdown (22.04)
17s
Eval SV-Comp test results (22.04)
21s
Build VAST doc (18, 22.04)
1m 48s
4h 55m 59s