Speedup OpamSystem.read by 8% #2772
Job | Run time |
---|---|
7s | |
6s | |
25s | |
2m 1s | |
2m 21s | |
1m 51s | |
3m 6s | |
27m 48s | |
1m 49s | |
2m 13s | |
1m 58s | |
2m 35s | |
1m 45s | |
2m 4s | |
38m 31s | |
46m 59s | |
46m 27s | |
52m 29s | |
49m 20s | |
1m 24s | |
1m 52s | |
1m 32s | |
14m 48s | |
5m 20s | |
52s | |
1m 28s | |
1m 44s | |
5h 12m 55s |