Merge pull request #166 from zmughal-contrib/more-types #8
| Job | Run time |
|---|---|
| 29s | |
| 3m 16s | |
| 4m 21s | |
| 4m 31s | |
| 2m 4s | |
| 2m 14s | |
| 2m 19s | |
| 2m 17s | |
| 2m 25s | |
| 2m 46s | |
| 2m 26s | |
| 18s | |
| 29m 26s |
| Job | Run time |
|---|---|
| 29s | |
| 3m 16s | |
| 4m 21s | |
| 4m 31s | |
| 2m 4s | |
| 2m 14s | |
| 2m 19s | |
| 2m 17s | |
| 2m 25s | |
| 2m 46s | |
| 2m 26s | |
| 18s | |
| 29m 26s |