Skip to content
Pre Release

gh: Temporary commit for testing. #284

Sign in to view logs

gh: Temporary commit for testing.

gh: Temporary commit for testing. #284

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 13s
Run LLVM test suite (18, 22.04, hl, ON)
6m 32s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 35s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 16m 58s
Run Linux kernel test suite (18, 22.04, hl, true)
22m 59s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 11s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 17m 10s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 9m 59s
Run LLVM test suite (18, 22.04, bin, OFF)
21m 57s
Eval LLVM Singlesource results (22.04)
26s
Convert Linux Kernel benchmark results to Markdown (22.04)
21s
Eval SV-Comp test results (22.04)
14s
Build VAST doc (18, 22.04)
1m 24s
5h 0m 59s