Fix image generation for proof during TPTP3ProofProcesser #301
ant.yml
on: pull_request
build
2m 8s
build-sumo-ci
1m 15s
Annotations
1 warning
Variables should be defined before their use:
docker/sigmakee/Dockerfile#L31
UndefinedVar: Usage of undefined variable '$CATALINA_OPTS'
More info: https://docs.docker.com/go/dockerfile/rule/undefined-var/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
artifact
|
67.6 MB |
|
ontologyportal~sigmakee~O2D9I8.dockerbuild
|
44.3 KB |
|
ontologyportal~sigmakee~UR831M.dockerbuild
|
57.2 KB |
|
sigma-webapp
|
15.6 MB |
|