docker-ci-for-pr

Remove mutability from theorem proof field #382

Sign in to view logs

Re-run triggered September 22, 2024 02:53

binghe

#1307

digama0:proof_ref

Status Failure

Total duration 1h 13m 0s

Artifacts –

docker-ci-for-pr.yml

on: pull_request

Annotations

1 error

build-otknl

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