Add runs without unsupported dialect to CI #1
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
12 errors and 6 warnings
|
Run SV-Comp test suite (18, 22.04, hl, true)
Process completed with exit code 1.
|
|
Run SV-Comp test suite (18, 22.04, hl, false)
The job was canceled because "_18_22_04_hl_true" failed.
|
|
Run SV-Comp test suite (18, 22.04, hl, false)
The operation was canceled.
|
|
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 1.
|
|
Run LLVM test suite (18, 22.04, bin, OFF)
Process completed with exit code 2.
|
|
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 |
|