Add tracing kernel · HOL-Theorem-Prover/HOL@23f7d07

Re-run triggered September 22, 2024 03:01

binghe

#1309

digama0:trknl

Status Failure

Total duration 2m 33s

Artifacts –

docker-ci-for-pr.yml

on: pull_request

4 errors

buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1

buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1

buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 1

buildx failed with: ERROR: failed to solve: process "/bin/sh -c bin/build ${BUILDOPTS}" did not complete successfully: exit code: 255