Merge pull request #139 from andyferris/bottom-type-fix #221
| Job | Run time |
|---|---|
| 1m 26s | |
| 1m 14s | |
| 2m 3s | |
| 16m 49s | |
| 11m 17s | |
| 1m 15s | |
| 1m 11s | |
| 1m 27s | |
| 7m 55s | |
| 1m 39s | |
| 2m 1s | |
| 1m 30s | |
| 2m 4s | |
| 8m 4s | |
| 2m 5s | |
| 1h 2m 0s |
| Job | Run time |
|---|---|
| 1m 26s | |
| 1m 14s | |
| 2m 3s | |
| 16m 49s | |
| 11m 17s | |
| 1m 15s | |
| 1m 11s | |
| 1m 27s | |
| 7m 55s | |
| 1m 39s | |
| 2m 1s | |
| 1m 30s | |
| 2m 4s | |
| 8m 4s | |
| 2m 5s | |
| 1h 2m 0s |