Add runs without unsupported dialect to CI #2
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
9 errors and 6 warnings
|
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.
|
|
Eval LLVM Singlesource results (22.04)
Process completed with exit code 1.
|
|
Run LLVM test suite (18, 22.04, hl, OFF)
No files were found with the provided path: ./results-hl-OFF.json. No artifacts will be uploaded.
|
|
Run LLVM test suite (18, 22.04, hl, ON)
No files were found with the provided path: ./results-hl-ON.json. No artifacts will be uploaded.
|
|
Run LLVM test suite (18, 22.04, llvm, ON)
No files were found with the provided path: ./results-llvm-ON.json. No artifacts will be uploaded.
|
|
Run LLVM test suite (18, 22.04, llvm, OFF)
No files were found with the provided path: ./results-llvm-OFF.json. No artifacts will be uploaded.
|
|
Run LLVM test suite (18, 22.04, bin, ON)
No files were found with the provided path: ./results-bin-ON.json. No artifacts will be uploaded.
|
|
Run LLVM test suite (18, 22.04, bin, OFF)
No files were found with the provided path: ./results-bin-OFF.json. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VAST
Expired
|
71.7 MB |
|
|
results-sv-hl-false
Expired
|
124 KB |
|
|
results-sv-hl-true
Expired
|
119 KB |
|
|
sv-comp-results
Expired
|
2.49 KB |
|