Skip to content
continuous integration

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9915 #2632

Sign in to view logs

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9915

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9915 #2632

Triggered via push August 18, 2025 11:47
@ghostghost
pushed 966c278
lean-pr-testing-9915
Status Failure
Total duration 51m 10s
Artifacts 1

build.yml

on: push
Lint style
2m 9s
Lint style
Build
51m 7s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
CI Success
0s
CI Success
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Build
Process completed with exit code 1.
Build
Process completed with exit code 3.
Build: Mathlib/Tactic/SuppressCompilation.lean#L8
unused import (use `lake exe shake --fix` to fix this, or `lake exe shake --update` to ignore)
Build: Mathlib/Util/Notation3.lean#L14
unused import (use `lake exe shake --fix` to fix this, or `lake exe shake --update` to ignore)

Artifacts

Produced during runtime
Name Size Digest
mathlib4_artifact Expired
1.61 GB
sha256:8cbedbbda7ecd32b65aa9124599f60570d0a95d3fd8e6207645763a4e32f77df