chore: bump to nightly-2025-12-10 #5589
leanprover-community-bot-assistantbuild.yml
on: push
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
261 KB |
sha256:541d7f20a4457b3ae434496aba431999204aa6007f2f7212b21fcceba771d624
|
|
|
mathlib4_artifact
|
1.83 GB |
sha256:692ae5584757fc82ef92699d217c1650613d8bf282bf84cdf959c5928fc55698
|
|