Fix image generation for proof during TPTP3ProofProcesser #61
terry-norbratenAnnotations
1 error
|
build
buildx failed with: ERROR: failed to solve: process "/dev/.buildkit_qemu_emulator /bin/sh -c apt-get install -y --no-install-recommends ant ant-optional git qemu-user-static binfmt-support graphviz && apt-get clean && rm -rf /var/lib/apt/lists/*" did not complete successfully: exit code: 100
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ontologyportal~sigmakee~ZDAHM7.dockerbuild
|
86.6 KB |
|