Add runs without unsupported dialect to CI #5
Jezurkotest.yml
on: pull_request
Matrix: Test
Matrix: Run LLVM test suite
Matrix: Run SV-Comp test suite
Matrix: Eval LLVM Singlesource results
Matrix: Eval SV-Comp test results
Annotations
6 errors
|
Run LLVM test suite (18, 22.04, hl, OFF)
Process completed with exit code 2.
|
|
Run LLVM test suite (18, 22.04, llvm, OFF)
Process completed with exit code 2.
|
|
Run LLVM test suite (18, 22.04, bin, OFF)
Process completed with exit code 2.
|
|
Run LLVM test suite (18, 22.04, bin, OFF)
Process completed with exit code 1.
|
|
Run SV-Comp test suite (hl, true)
The run was canceled by @Jezurko.
|
|
Run LLVM test suite (hl, ON)
The run was canceled by @Jezurko.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VAST
Expired
|
71.7 MB |
|
|
results-llvm-ts-bin-OFF
Expired
|
56.8 KB |
|
|
results-llvm-ts-hl-OFF
Expired
|
59.5 KB |
|
|
results-llvm-ts-llvm-OFF
Expired
|
40.8 KB |
|
|
results-sv-hl-false
Expired
|
123 KB |
|