Skip to content
Pre Release

Pre Release #291

Sign in to view logs

Pre Release

Pre Release #291

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 57s
Run LLVM test suite (18, 22.04, hl, ON)
6m 40s
Run Linux kernel test suite (18, 22.04, hl, true)
23m 26s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 16m 25s
Run LLVM test suite (18, 22.04, hl, OFF)
6m 40s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 2m 33s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 17m 15s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 34s
Run LLVM test suite (18, 22.04, bin, OFF)
20m 21s
Eval LLVM Singlesource results (22.04)
16s
Convert Linux Kernel benchmark results to Markdown (22.04)
17s
Eval SV-Comp test results (22.04)
19s
Build VAST doc (18, 22.04)
1m 44s
4h 54m 27s