Merge pull request #21 from spm/enh-type-system #154
| Job | Run time |
|---|---|
| 3m 0s | |
| 5m 20s | |
| 2m 31s | |
| 2m 27s | |
| 7m 53s | |
| 8m 39s | |
| 7m 16s | |
| 9m 53s | |
| 3m 11s | |
| 8m 43s | |
| 1m 54s | |
| 1m 57s | |
| 5m 46s | |
| 5m 13s | |
| 5m 46s | |
| 8m 4s | |
| 1h 27m 33s |
| Job | Run time |
|---|---|
| 3m 0s | |
| 5m 20s | |
| 2m 31s | |
| 2m 27s | |
| 7m 53s | |
| 8m 39s | |
| 7m 16s | |
| 9m 53s | |
| 3m 11s | |
| 8m 43s | |
| 1m 54s | |
| 1m 57s | |
| 5m 46s | |
| 5m 13s | |
| 5m 46s | |
| 8m 4s | |
| 1h 27m 33s |