Skip to content
Pre Release

Pre Release #347

Sign in to view logs

Pre Release

Pre Release #347

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (19, 22.04)
12m 30s
Run Linux kernel test suite (19, 22.04, hl, true)
1h 4m 12s
Run SV-Comp test suite (19, 22.04, hl, true)
1h 21m 56s
Run Linux kernel test suite (19, 22.04, hl, false)
1h 4m 37s
Run gzip translation (19, 22.04, 1.10, hl, true)
1m 24s
Run SV-Comp test suite (19, 22.04, hl, false)
1h 21m 45s
Run LLVM test suite (19, 22.04, hl, ON)
5m 47s
Run gzip translation (19, 22.04, 1.10, hl, false)
1m 24s
Run LLVM test suite (19, 22.04, hl, OFF)
6m 49s
Run gzip translation (19, 22.04, 1.10, llvm, true)
1m 34s
Run LLVM test suite (19, 22.04, llvm, OFF)
9m 29s
Run gzip translation (19, 22.04, 1.13, hl, true)
1m 23s
Run gzip translation (19, 22.04, 1.13, hl, false)
1m 28s
Run LLVM test suite (19, 22.04, bin, OFF)
9m 4s
Run gzip translation (19, 22.04, 1.13, llvm, true)
1m 43s
Convert gzip results to Markdown (22.04, 1.10)
19s
Convert gzip results to Markdown (22.04, 1.13)
29s
Eval LLVM Singlesource results (22.04)
21s
Convert Linux Kernel benchmark results to Markdown (22.04)
18s
Eval SV-Comp test results (22.04)
16s
Build VAST doc (19, 22.04)
2m 9s
5h 48m 57s