Skip to content
Pre Release

Pre Release #281

Sign in to view logs

Pre Release

Pre Release #281

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 19s
Run Linux kernel test suite (18, 22.04, hl, true)
25m 30s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 18m 28s
Run LLVM test suite (18, 22.04, hl, ON)
5m 35s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 8m 46s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 16m 57s
Run LLVM test suite (18, 22.04, hl, OFF)
6m 35s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 18s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 10s
Eval LLVM Singlesource results (22.04)
19s
Convert Linux Kernel benchmark results to Markdown (22.04)
15s
Eval SV-Comp test results (22.04)
19s
Build VAST doc (18, 22.04)
1m 16s
5h 1m 47s