Update lean-toolchain for https://github.com/leanprover/lean4/pull/11584 #5616
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:8d3eabd10519efbec1cbffecc71b68555df88d81fb3ead6aeacc374919390003
|
|
|
mathlib4_artifact
|
2 GB |
sha256:8f68c4e5a700218679d9854c0004e7a520c87377b83ae7183c3c5e3777d31e7c
|
|