Add sv-comp CI run #6
Jezurkosvcomp.yml
on: pull_request
Matrix: Build VAST
Matrix: Run SV-Comp test suite
Annotations
1 error and 1 warning
|
Run SV-Comp test suite (17, 22.04, hl)
No space left on device : '/home/runner/runners/2.315.0/_diag/pages/c8dde1f0-5814-4560-920e-1ee1eb88d28e_0a0daad3-5c88-5075-9701-1ee293f9d8b8_1.log'
|
|
Run SV-Comp test suite (17, 22.04, hl)
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 41 MB
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
VAST
Expired
|
42.5 MB |
|