Skip to content
Test

Add runs without unsupported dialect to CI #2

Sign in to view logs

Add runs without unsupported dialect to CI

Add runs without unsupported dialect to CI #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test (18, 22.04)
8m 46s
Run SV-Comp test suite (18, 22.04, hl, true)
14m 44s
Run LLVM test suite (18, 22.04, hl, ON)
5m 59s
Run SV-Comp test suite (18, 22.04, hl, false)
32m 58s
Run LLVM test suite (18, 22.04, hl, OFF)
5m 42s
Run LLVM test suite (18, 22.04, llvm, ON)
8m 18s
Run LLVM test suite (18, 22.04, llvm, OFF)
8m 48s
Run LLVM test suite (18, 22.04, bin, ON)
12m 54s
Run LLVM test suite (18, 22.04, bin, OFF)
14m 1s
Eval LLVM Singlesource results (22.04)
14s
Eval SV-Comp test results (22.04)
17s
1h 52m 41s