Fix comparison of different types #215
| Job | Run time |
|---|---|
| 2m 53s | |
| 16m 28s | |
| 14m 29s | |
| 26m 46s | |
| 22m 37s | |
| 40m 2s | |
| 32m 13s | |
| 18m 44s | |
| 12m 44s | |
| 23m 35s | |
| 17m 7s | |
| 17m 35s | |
| 18m 0s | |
| 31m 37s | |
| 3m 12s | |
| 2m 54s | |
| 3m 38s | |
| 3m 36s | |
| 3m 20s | |
| 5h 11m 30s |
| Job | Run time |
|---|---|
| 2m 53s | |
| 16m 28s | |
| 14m 29s | |
| 26m 46s | |
| 22m 37s | |
| 40m 2s | |
| 32m 13s | |
| 18m 44s | |
| 12m 44s | |
| 23m 35s | |
| 17m 7s | |
| 17m 35s | |
| 18m 0s | |
| 31m 37s | |
| 3m 12s | |
| 2m 54s | |
| 3m 38s | |
| 3m 36s | |
| 3m 20s | |
| 5h 11m 30s |