rustup: update to nightly-2025-05-09 (~1.88) and Rust 2024 edition.
#628
| Job | Run time |
|---|---|
| 8m 9s | |
| 16m 24s | |
| 16m 18s | |
| 7m 59s | |
| 8m 26s | |
| 6m 54s | |
| 5m 7s | |
| 1m 7s | |
| 19m 6s | |
| 9m 18s | |
| 10m 20s | |
| 6m 39s | |
| 2s | |
| 1h 55m 49s |