Add runs without unsupported dialect to CI #4
Triggered via pull request
May 28, 2024 13:57
Jezurko
Status
Cancelled
Total duration
2h 24m 24s
Artifacts
7
test.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
5 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 LLVM test suite (hl, ON)
The run was canceled by @Jezurko.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VAST
Expired
|
71.6 MB |
|
|
results-llvm-ts-bin-OFF
Expired
|
56.8 KB |
|
|
results-llvm-ts-hl-OFF
Expired
|
59.6 KB |
|
|
results-llvm-ts-llvm-OFF
Expired
|
40.8 KB |
|
|
results-sv-hl-false
Expired
|
124 KB |
|
|
results-sv-hl-true
Expired
|
119 KB |
|
|
sv-comp-results
Expired
|
2.49 KB |
|