Don't use redundant alias Prelude as Prelude #8638
| Job | Run time |
|---|---|
| 3m 53s | |
| 1h 4m 31s | |
| 1h 4m 40s | |
| 1h 5m 43s | |
| 1h 4m 51s | |
| 56m 34s | |
| 35m 47s | |
| 34m 17s | |
| 38m 15s | |
| 54m 48s | |
| 40m 21s | |
| 44m 35s | |
| 46m 18s | |
| 45m 52s | |
| 47m 31s | |
| 49m 42s | |
| 44m 17s | |
| 54m 4s | |
| 47m 42s | |
| 7m 16s | |
| 19m 18s | |
| 7m 0s | |
| 14m 3s | |
| 7m 31s | |
| 14m 53s | |
| 1s | |
| 4s | |
| 0s | |
| 16h 13m 47s |