Skip to content
Build & Evaluate (in Docker)

2025-10-27 lean nightly update #728

Sign in to view logs

2025-10-27 lean nightly update

2025-10-27 lean nightly update #728

Triggered via pull request November 1, 2025 21:47
@tobiasgrossertobiasgrosser
synchronize #1798
auto-mathlib-update-2025-10-27
Status Failure
Total duration 16m 56s
Artifacts 1

docker.yml

on: pull_request
Build Docker image for core library
16m 49s
Build Docker image for core library
use docker (runs on namespace)
0s
use docker (runs on namespace)
use docker (runs on namespace, via ghcr.io)
0s
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~IMHRHP.dockerbuild
48.4 KB
sha256:9ba7d782a1062f0e673d5259be20f92e03f536c90b5ec0e5f8a8312c9d0b85be