maint: Merge away extra head #2158
| Job | Run time |
|---|---|
| 1h 33m 11s | |
| 1h 33m 11s | |
| 1h 33m 11s | |
| 58s | |
| 59m 49s | |
| 59m 49s | |
| 1m 16s | |
| 1m 16s | |
| 25m 29s | |
| 27m 59s | |
| 27m 59s | |
| 27m 59s | |
| 23m 21s | |
| 23m 21s | |
| 23m 21s | |
| 37m 32s | |
| 37m 32s | |
| 37m 32s | |
| 31m 3s | |
| 31m 3s | |
| 31m 3s | |
| 1h 39m 52s | |
| 1h 39m 52s | |
| 1h 39m 52s | |
| 1h 7m 53s | |
| 1h 7m 53s | |
| 1h 7m 53s | |
| 21h 31m 10s |