[Merged by Bors] - feat: add Finset lemmas #238822
Triggered via pull request
October 14, 2025 11:22
mariainesdff
mariainesdff
opened
#30539
Status
Success
Total duration
48m 46s
Artifacts
2
build_fork.yml
on: pull_request_target
Build (fork)
43m 16s
Lint style (fork)
4m 0s
Post-CI job (fork)
9s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
246 KB |
sha256:740cf9437ba9bd143ff4adf10cf2fafa1792979533228c5909d0210b95349f86
|
|
|
mathlib4_artifact
|
1.68 GB |
sha256:076b227cbaaa849fc03ca6f1ee122bbe6fa82ed72caab9629ed080a50410770c
|
|