Skip to content

Fix image generation for proof during TPTP3ProofProcesser #296

Fix image generation for proof during TPTP3ProofProcesser

Fix image generation for proof during TPTP3ProofProcesser #296

Triggered via pull request February 23, 2025 07:14
Status Failure
Total duration 4m 19s
Artifacts 3

ant.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-sumo-ci
buildx failed with: ERROR: failed to solve: process "/dev/.buildkit_qemu_emulator /bin/sh -c apt-get update && apt-get install -y --no-install-recommends graphviz" did not complete successfully: exit code: 100

Artifacts

Produced during runtime
Name Size
artifact
67.6 MB
ontologyportal~sigmakee~UPQXB0.dockerbuild
51 KB
sigma-webapp
15.6 MB