Skip to content

Fix image generation for proof during TPTP3ProofProcesser #295

Fix image generation for proof during TPTP3ProofProcesser

Fix image generation for proof during TPTP3ProofProcesser #295

Triggered via pull request February 23, 2025 06:59
Status Failure
Total duration 4m 14s
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~QY5BOJ.dockerbuild
52.8 KB
sigma-webapp
15.6 MB