Change .cmxs format to include all imports in the header #1206
| Job | Run time |
|---|---|
| 56s | |
| 8m 30s | |
| 6m 41s | |
| 11m 23s | |
| 12m 8s | |
| 8m 28s | |
| 11m 26s | |
| 18m 7s | |
| 7m 56s | |
| 12m 0s | |
| 10m 16s | |
| 1h 47m 51s |
| Job | Run time |
|---|---|
| 56s | |
| 8m 30s | |
| 6m 41s | |
| 11m 23s | |
| 12m 8s | |
| 8m 28s | |
| 11m 26s | |
| 18m 7s | |
| 7m 56s | |
| 12m 0s | |
| 10m 16s | |
| 1h 47m 51s |