Skip to content
Pre Release

gh: Temporary commit for testing. #283

Sign in to view logs

gh: Temporary commit for testing.

gh: Temporary commit for testing. #283

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Pre Release (18, 22.04)
9m 34s
Run SV-Comp test suite (18, 22.04, hl, true)
33m 6s
Run LLVM test suite (18, 22.04, hl, ON)
5m 30s
Run SV-Comp test suite (18, 22.04, hl, false)
33m 7s
Run Linux kernel test suite (18, 22.04, hl, true)
23m 5s
Run LLVM test suite (18, 22.04, hl, OFF)
7m 2s
Run Linux kernel test suite (18, 22.04, hl, false)
1h 10m 13s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 16s
Run LLVM test suite (18, 22.04, bin, OFF)
21m 32s
Eval LLVM Singlesource results (22.04)
19s
Eval SV-Comp test results
1s
Convert Linux Kernel benchmark results to Markdown (22.04)
16s
Build VAST doc
1s
3h 32m 2s