Use make as a build system for opam files. #489
Job | Run time |
---|---|
4m 44s | |
6m 37s | |
5m 10s | |
22m 3s | |
9m 19s | |
16m 46s | |
6m 7s | |
15m 31s | |
8m 32s | |
24m 23s | |
9m 5s | |
6m 57s | |
4m 18s | |
8m 20s | |
3m 38s | |
8m 35s | |
8m 47s | |
8m 30s | |
8m 34s | |
8m 22s | |
4m 44s | |
1m 49s | |
2m 27s | |
2m 3s | |
5m 8s | |
5m 10s | |
4m 49s | |
4m 11s | |
4m 12s | |
5m 18s | |
5m 8s | |
4m 37s | |
5m 3s | |
6m 5s | |
12m 52s | |
14m 7s | |
12m 17s | |
4h 54m 18s |