Auto-resolved conflicts in lean-toolchain and lake-manifest.json #5613
leanprover-community-bot-assistantbuild.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:e5cad69f9780426446d26574f516e6bfbb078145d9676cae5f0ab10ea3d9b336
|
|
|
mathlib4_artifact
|
2.01 GB |
sha256:22fab67b71f66fe19e38e4773e93ddc3f6f35180aac79ec56e3bd21151831277
|
|