Skip to content
ci

Update lean-toolchain for testing https://github.com/leanprover/lean4… #11103

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #11103

Triggered via push February 12, 2025 14:40
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 51a9058
lean-pr-testing-7056
Status Success
Total duration 7m 8s
Artifacts –

build.yml

on: push
Build
6m 58s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build
Cache not found for keys: lake-Linux-ee1d55f117b763e6c78f8444a5aeeb006ff264524715829120ce1a9b23a3b44b-8b9d0e628cafade03d6bfb0b18f6c37cee8b8c051e375884775167f80e115198-51a90584afcdf9b6f6b45e0bdd32868846495893, lake-Linux-ee1d55f117b763e6c78f8444a5aeeb006ff264524715829120ce1a9b23a3b44b-8b9d0e628cafade03d6bfb0b18f6c37cee8b8c051e375884775167f80e115198