This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
chore(set_theory/ordinal/basic): golf (#18547) #76359
| Job | Run time |
|---|---|
| 1m 0s | |
| 43s | |
| 32s | |
| 32s | |
| 18s | |
| 19s | |
| 3m 24s |
| Job | Run time |
|---|---|
| 1m 0s | |
| 43s | |
| 32s | |
| 32s | |
| 18s | |
| 19s | |
| 3m 24s |