Update Batteries branch for testing https://github.com/leanprover-com… #5648
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:fcf810dcfa72b2613daa4a133b37b4c13e02f2a5702c55f5c39187d4d50288b3
|
|
|
mathlib4_artifact
|
2.01 GB |
sha256:5e04d4db1b577d18dbdf30f93e67ca3c4af2dc7d50f20772ad2b4df3aa33a831
|
|