Skip to content
Pre Release

Pre Release #365

Sign in to view logs

Pre Release

Pre Release #365

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (19, 22.04)
12m 4s
Run Linux kernel test suite (19, 22.04, hl, true)
1h 4m 5s
Run SV-Comp test suite (19, 22.04, hl, true)
1h 21m 57s
Run Linux kernel test suite (19, 22.04, hl, false)
1h 3m 6s
Run gzip translation (19, 22.04, 1.10, hl, true)
1m 29s
Run SV-Comp test suite (19, 22.04, hl, false)
1h 22m 2s
Run LLVM test suite (19, 22.04, hl, ON)
5m 52s
Run gzip translation (19, 22.04, 1.10, hl, false)
1m 27s
Run LLVM test suite (19, 22.04, hl, OFF)
5m 40s
Run gzip translation (19, 22.04, 1.10, llvm, true)
1m 49s
Run LLVM test suite (19, 22.04, llvm, OFF)
10m 27s
Run gzip translation (19, 22.04, 1.13, hl, true)
1m 46s
Run LLVM test suite (19, 22.04, bin, OFF)
9m 53s
Run gzip translation (19, 22.04, 1.13, hl, false)
1m 29s
Run gzip translation (19, 22.04, 1.13, llvm, true)
1m 42s
Convert gzip results to Markdown (22.04, 1.10)
15s
Convert gzip results to Markdown (22.04, 1.13)
20s
Eval LLVM Singlesource results (22.04)
17s
Convert Linux Kernel benchmark results to Markdown (22.04)
19s
Eval SV-Comp test results (22.04)
15s
Build VAST doc (19, 22.04)
1m 45s
5h 47m 59s