Update lean-toolchain for https://github.com/leanprover/lean4/pull/11554 #5592
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:dda844a55b3468065e671d92f9f19646983b20ba64acb676749f2dc2cb1d7cb3
|
|
|
mathlib4_artifact
|
2.01 GB |
sha256:0119e682471d4d4e4b4124499ea277f7e20e93d4893a0a0e3dcbcbaa75569add
|
|