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