[Merged by Bors] - refactor: rename Cardinal.ord_eq → Cardinal.exists_ord_eq
#241839
Triggered via pull request
March 30, 2026 14:05
YaelDillies
YaelDillies
submitted
#37330
Status
Success
Total duration
11s
Artifacts
1
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
workflow-data
Expired
|
885 Bytes |
sha256:1d88c8ed21f6a3ffdb9c84881613acfeb0c4ff10c6ef63fcb14c24db67814d61
|
|