Qute: type pollution fixes #1320
| Job | Run time |
|---|---|
| 0s | |
| 19m 39s | |
| 32s | |
| 10s | |
| 33m 16s | |
| 4h 44m 17s | |
| 1h 16m 18s | |
| 6h 4m 56s | |
| 15m 33s | |
| 4h 19m 19s | |
| 19m 40s | |
| 6h 4m 57s | |
| 1h 5m 24s | |
| 17m 15s | |
| 1h 40m 38s | |
| 18m 23s | |
| 22m 56s | |
| 40m 4s | |
| 10m 0s | |
| 1h 0m 14s | |
| 49m 22s | |
| 14m 33s | |
| 11m 54s | |
| 59m 33s | |
| 59m 16s | |
| 44m 43s | |
| 32m 58s | |
| 45m 22s | |
| 47m 42s | |
| 1h 1m 39s | |
| 12m 25s | |
| 56m 5s | |
| 23m 22s | |
| 39m 13s | |
| 47m 43s | |
| 25m 38s | |
| 27m 52s | |
| 1h 38m 3s | |
| 49m 56s | |
| 41m 16s | |
| 50m 11s | |
| 1h 17m 57s | |
| 45m 43s | |
| 31m 43s | |
| 7m 54s | |
| 7m 15s | |
| 11m 53s | |
| 53s | |
| 1d 23h 35m 35s |