Rewrite the changes in commit 547ecb0 to avoid byte-compilation error… #545
| Job | Run time |
|---|---|
| 4m 38s | |
| 4m 20s | |
| 5m 6s | |
| 5m 16s | |
| 5m 8s | |
| 6m 34s | |
| 6m 44s | |
| 15m 13s | |
| 12m 41s | |
| 13m 55s | |
| 7m 51s | |
| 5m 47s | |
| 7m 46s | |
| 5m 49s | |
| 10m 33s | |
| 20m 6s | |
| 2h 17m 27s |
| Job | Run time |
|---|---|
| 4m 38s | |
| 4m 20s | |
| 5m 6s | |
| 5m 16s | |
| 5m 8s | |
| 6m 34s | |
| 6m 44s | |
| 15m 13s | |
| 12m 41s | |
| 13m 55s | |
| 7m 51s | |
| 5m 47s | |
| 7m 46s | |
| 5m 49s | |
| 10m 33s | |
| 20m 6s | |
| 2h 17m 27s |