Linux build-test-deploy #1887
leventeBajczilinux-build-test-deploy.yml
on: workflow_dispatch
build
5m 42s
Matrix: test-docker
create-spec-transformation
13s
deploy-maven
16m 26s
deploy-docs
43s
collect-results
1m 22s
Annotations
1 error
|
deploy-maven
Gradle build failed: see console output for details
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
10.1 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
165 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
843 Bytes |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
171 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
388 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
415 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
404 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
285 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
295 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
327 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
13.1 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
267 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
328 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
48.5 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.5 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.3 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
278 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
233 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
257 KB |
|
|
EmergenTheta_SV-COMP
|
497 MB |
|
|
ThetaJars
|
493 MB |
|
|
Theta_SV-COMP
|
497 MB |
|
|
Thorn_SV-COMP
|
497 MB |
|
|
specification-transformation
|
58 MB |
|