Remove useless prefix in set_dot (#2791) #5274
| Job | Run time |
|---|---|
| 9m 2s | |
| 20m 14s | |
| 9m 39s | |
| 10m 10s | |
| 18m 22s | |
| 11m 27s | |
| 12m 24s | |
| 24m 33s | |
| 26m 35s | |
| 23m 16s | |
| 24m 40s | |
| 24m 13s | |
| 21m 56s | |
| 20m 9s | |
| 14m 44s | |
| 26m 56s | |
| 20m 20s | |
| 22m 14s | |
| 28m 7s | |
| 24m 43s | |
| 13m 59s | |
| 17m 16s | |
| 22m 14s | |
| 32m 45s | |
| 27m 53s | |
| 8h 27m 51s |