Add runs without unsupported dialect to CI #3
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
8 errors
|
Run LLVM test suite (18, 22.04, hl, OFF)
Process completed with exit code 2.
|
|
Run LLVM test suite (18, 22.04, hl, ON)
Process completed with exit code 2.
|
|
Run LLVM test suite (18, 22.04, llvm, ON)
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, ON)
Process completed with exit code 2.
|
|
Run LLVM test suite (18, 22.04, bin, ON)
Process completed with exit code 1.
|
|
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.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VAST
Expired
|
71.7 MB |
|
|
llvm-test-suite-results
Expired
|
39.7 KB |
|
|
results-llvm-ts-bin-OFF
Expired
|
56.7 KB |
|
|
results-llvm-ts-bin-ON
Expired
|
50.6 KB |
|
|
results-llvm-ts-hl-OFF
Expired
|
59.5 KB |
|
|
results-llvm-ts-hl-ON
Expired
|
51.1 KB |
|
|
results-llvm-ts-llvm-OFF
Expired
|
40.9 KB |
|
|
results-llvm-ts-llvm-ON
Expired
|
37.5 KB |
|
|
results-sv-hl-false
Expired
|
124 KB |
|
|
results-sv-hl-true
Expired
|
119 KB |
|
|
sv-comp-results
Expired
|
2.49 KB |
|