Merge pull request #816 from EwoutH/patch-1 #1176
| Job | Run time |
|---|---|
| 3s | |
| 13m 46s | |
| 13m 59s | |
| 11m 37s | |
| 14m 11s | |
| 11m 53s | |
| 10m 9s | |
| 11m 39s | |
| 25m 41s | |
| 8m 42s | |
| 22m 42s | |
| 7m 20s | |
| 25m 9s | |
| 27m 4s | |
| 13m 45s | |
| 14m 15s | |
| 25m 22s | |
| 26m 40s | |
| 13m 56s | |
| 4h 57m 53s |
| Job | Run time |
|---|---|
| 3s | |
| 13m 46s | |
| 13m 59s | |
| 11m 37s | |
| 14m 11s | |
| 11m 53s | |
| 10m 9s | |
| 11m 39s | |
| 25m 41s | |
| 8m 42s | |
| 22m 42s | |
| 7m 20s | |
| 25m 9s | |
| 27m 4s | |
| 13m 45s | |
| 14m 15s | |
| 25m 22s | |
| 26m 40s | |
| 13m 56s | |
| 4h 57m 53s |