LTL checking #1908
RipplBlinux-build-test-deploy.yml
on: pull_request
build
5m 59s
Matrix: test-docker
create-spec-transformation
15s
deploy-maven
0s
deploy-docs
22s
collect-results
3m 1s
Annotations
2 errors and 1 notice
|
collect-results
The deploy step encountered an error: The process '/usr/bin/git' failed with exit code 128 ❌
|
|
collect-results
Resource not accessible by integration
|
|
collect-results
Deployment failed! ❌
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
11.6 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
204 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
176 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
195 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
438 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
413 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
420 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
278 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
287 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
321 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
274 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
235 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
279 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
44.3 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
43.2 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
44.9 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
273 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
228 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
252 KB |
|
|
EmergenTheta_SV-COMP
|
503 MB |
|
|
ThetaJars
|
510 MB |
|
|
Theta_SV-COMP
|
503 MB |
|
|
Thorn_SV-COMP
|
503 MB |
|
|
specification-transformation
|
58 MB |
|