Skip to content
Test

Add runs without unsupported dialect to CI #3

Sign in to view logs

Add runs without unsupported dialect to CI

Add runs without unsupported dialect to CI #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test (18, 22.04)
8m 44s
Run SV-Comp test suite (18, 22.04, hl, true)
14m 16s
Run LLVM test suite (18, 22.04, hl, ON)
4m 10s
Run SV-Comp test suite (18, 22.04, hl, false)
33m 44s
Run LLVM test suite (18, 22.04, hl, OFF)
3m 46s
Run LLVM test suite (18, 22.04, llvm, ON)
6m 37s
Run LLVM test suite (18, 22.04, llvm, OFF)
6m 51s
Run LLVM test suite (18, 22.04, bin, ON)
11m 7s
Run LLVM test suite (18, 22.04, bin, OFF)
11m 58s
Eval LLVM Singlesource results (22.04)
25s
Eval SV-Comp test results (22.04)
17s
1h 41m 55s