[Merged by Bors] - refactor: rename Splits.splits_of_dvd to Splits.of_dvd
#254600
tb65536build_fork.yml
on: pull_request_target
Build (fork)
22m 42s
Lint style (fork)
2m 3s
Post-CI job (fork)
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
261 KB |
sha256:7ade57ca99961d599cf74722c77d5d18c1caa9e4ed23e42c28f7c45feb1d522a
|
|
|
mathlib4_artifact
Expired
|
1.89 GB |
sha256:95865f972af370f5751494b50313e9d824f9e9a532f26b6310c6fb758b673379
|
|