Skip to content
Pre Release

gh: Temporary commit for testing. #270

Sign in to view logs

gh: Temporary commit for testing.

gh: Temporary commit for testing. #270

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)
22m 54s
Run SV-Comp test suite (18, 22.04, hl, true)
1h 16m 8s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 10m 35s
Run LLVM test suite (18, 22.04, hl, ON)
7m 19s
Run SV-Comp test suite (18, 22.04, hl, false)
1h 16m 32s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 38s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 43s
Run LLVM test suite (18, 22.04, bin, OFF)
22m 4s
Eval LLVM Singlesource results (22.04)
16s
Convert Linux Kernel benchmark results to Markdown (22.04)
16s
Eval SV-Comp test results (22.04)
22s
Build VAST doc (18, 22.04)
1m 23s
5h 1m 29s