Merge pull request #289 from GaloisInc/1.6-backport-T288-timeout-fix #1074
| Job | Run time |
|---|---|
| 50s | |
| 11m 55s | |
| 12m 14s | |
| 14m 29s | |
| 13m 49s | |
| 11m 53s | |
| 11m 57s | |
| 11m 52s | |
| 27m 0s | |
| 25m 49s | |
| 25m 3s | |
| 25m 26s | |
| 20m 28s | |
| 14m 50s | |
| 13m 51s | |
| 4h 1m 26s |
| Job | Run time |
|---|---|
| 50s | |
| 11m 55s | |
| 12m 14s | |
| 14m 29s | |
| 13m 49s | |
| 11m 53s | |
| 11m 57s | |
| 11m 52s | |
| 27m 0s | |
| 25m 49s | |
| 25m 3s | |
| 25m 26s | |
| 20m 28s | |
| 14m 50s | |
| 13m 51s | |
| 4h 1m 26s |