Skip to content
Build & Evaluate (in Docker)

2025-10-29 lean nightly update #729

Sign in to view logs

2025-10-29 lean nightly update

2025-10-29 lean nightly update #729

Triggered via pull request November 1, 2025 21:47
@tobiasgrossertobiasgrosser
synchronize #1804
auto-mathlib-update-2025-10-29
Status Failure
Total duration 17m 0s
Artifacts 1

docker.yml

on: pull_request
Build Docker image for core library
16m 52s
Build Docker image for core library
use docker (runs on namespace)
use docker (runs on namespace)
use docker (runs on namespace, via ghcr.io)
use docker (runs on namespace, via ghcr.io)
use docker (runs on GitHub)
0s
use docker (runs on GitHub)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Docker image for core library
buildx failed with: ERROR: failed to solve: process "/bin/sh -c ./.dockerscripts/cache.sh setup && lake exe cache get ProofWidgets && lake build && ./.dockerscripts/cache.sh teardown" did not complete successfully: exit code: 1

Artifacts

Produced during runtime
Name Size Digest
opencompl~lean-mlir~L8XPCL.dockerbuild
48.4 KB
sha256:5857dd184debffb3ad78de5364bcfa7fb4f8885751efa6c94def563bab45b204