Skip to content

lake update aesop #5660

lake update aesop

lake update aesop #5660

Triggered via push December 14, 2025 05:15
Status Success
Total duration 1h 9m 20s
Artifacts 2

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build
Process completed with exit code 3.
Build
Cache directory does not exist: /home/lean/.cache/mathlib

Artifacts

Produced during runtime
Name Size Digest
import-graph
261 KB
sha256:a38a02187a3b9202eca1c95292ae019c5ac0fe5f870eb324d99db3ae48d2872e
mathlib4_artifact
2.02 GB
sha256:e44557d13fd8cd31bd0107ea21e078087d1d666ad62cf1eb84661973d087bede