Merge pull request #510 from well-typed/hashable-1.5 #281
| Job | Run time |
|---|---|
| 6m 48s | |
| 6m 40s | |
| 6m 56s | |
| 7m 11s | |
| 8m 45s | |
| 9m 25s | |
| 9m 50s | |
| 9m 43s | |
| 10m 22s | |
| 9m 42s | |
| 9m 59s | |
| 10m 54s | |
| 1h 46m 15s |
| Job | Run time |
|---|---|
| 6m 48s | |
| 6m 40s | |
| 6m 56s | |
| 7m 11s | |
| 8m 45s | |
| 9m 25s | |
| 9m 50s | |
| 9m 43s | |
| 10m 22s | |
| 9m 42s | |
| 9m 59s | |
| 10m 54s | |
| 1h 46m 15s |