chore: adaptations for nightly-2026-01-09 #6011
leanprover-community-bot-assistantbuild.yml
on: push
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
264 KB |
sha256:d0c1562b9bd5eb9113d4279bf7c63acb8a8b90f37b10af50426c4e0cea199a1b
|
|
|
mathlib4_artifact
|
2 GB |
sha256:d1ba4c7b7c00f24eee13fa5bfa8d04b3877a2078f9682be7098b7a5ca11f110e
|
|