[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention #238883
Triggered via pull request
October 14, 2025 14:56
Ruben-VandeVelde
Ruben-VandeVelde
opened
#30550
Status
Success
Total duration
21m 49s
Artifacts
2
build_fork.yml
on: pull_request_target
Build (fork)
19m 9s
Lint style (fork)
2m 43s
Post-CI job (fork)
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
246 KB |
sha256:2a77f4768371fb2d1867472ce76f4f5805c03334379fe52e24103ebbef71b3f8
|
|
|
mathlib4_artifact
|
1.63 GB |
sha256:e5d56ade000de074358010fa5af3945153665b33def6859961aa35d0b1a1968f
|
|