Merge pull request #309 from btbest/provide-copies-of-colortable-cons… #172
| Job | Run time |
|---|---|
| 2m 10s | |
| 2m 10s | |
| 9m 54s | |
| 10m 37s | |
| 15m 4s | |
| 15m 6s | |
| 13m 57s | |
| 4m 38s | |
| 4m 44s | |
| 5m 3s | |
| 1h 23m 23s |
| Job | Run time |
|---|---|
| 2m 10s | |
| 2m 10s | |
| 9m 54s | |
| 10m 37s | |
| 15m 4s | |
| 15m 6s | |
| 13m 57s | |
| 4m 38s | |
| 4m 44s | |
| 5m 3s | |
| 1h 23m 23s |