Change .cmxs format to include all imports in the header #1197
| Job | Run time |
|---|---|
| 1m 1s | |
| 6m 42s | |
| 12m 2s | |
| 8m 33s | |
| 6m 53s | |
| 10m 20s | |
| 9m 24s | |
| 11m 25s | |
| 11m 14s | |
| 11m 55s | |
| 11m 43s | |
| 1h 41m 12s |
| Job | Run time |
|---|---|
| 1m 1s | |
| 6m 42s | |
| 12m 2s | |
| 8m 33s | |
| 6m 53s | |
| 10m 20s | |
| 9m 24s | |
| 11m 25s | |
| 11m 14s | |
| 11m 55s | |
| 11m 43s | |
| 1h 41m 12s |