Merge pull request #222 from ellert/type-errors #95
| Job | Run time |
|---|---|
| 24m 43s | |
| 28m 53s | |
| 28m 38s | |
| 35m 11s | |
| 28m 34s | |
| 33m 9s | |
| 36m 51s | |
| 41m 7s | |
| 36m 29s | |
| 40m 53s | |
| 5h 34m 28s |
| Job | Run time |
|---|---|
| 24m 43s | |
| 28m 53s | |
| 28m 38s | |
| 35m 11s | |
| 28m 34s | |
| 33m 9s | |
| 36m 51s | |
| 41m 7s | |
| 36m 29s | |
| 40m 53s | |
| 5h 34m 28s |