Update lean-toolchain for https://github.com/leanprover/lean4/pull/11616 #5638
leanprover-community-mathlib4-botbuild.yml
on: push
Annotations
1 error
|
Build
Process completed with exit code 3.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
261 KB |
sha256:deb89395beeadcbfbeed39f21aac00c3d1386aa6614a313ae18ae0064667c244
|
|
|
mathlib4_artifact
|
2 GB |
sha256:eb5221b11cb43c2e3d13e7405e91fc4209d4c154a862d08960bc03b35593c7a0
|
|