cohttp-lwt-unix 4: keep compatibility with cmdliner #1312
Job | Run time |
---|---|
25m 40s | |
24m 51s | |
24m 5s | |
24m 0s | |
20m 36s | |
19m 20s | |
19m 21s | |
17m 39s | |
19m 45s | |
18m 33s | |
3h 33m 50s |
Job | Run time |
---|---|
25m 40s | |
24m 51s | |
24m 5s | |
24m 0s | |
20m 36s | |
19m 20s | |
19m 21s | |
17m 39s | |
19m 45s | |
18m 33s | |
3h 33m 50s |