Add Stdlib type equality to Set.Make, Map.Make and Hashtbl.Make #57
Job | Run time |
---|---|
7m 3s | |
6m 22s | |
6m 12s | |
5m 59s | |
6m 10s | |
6m 46s | |
6m 27s | |
7m 5s | |
6m 51s | |
8m 2s | |
10m 31s | |
10m 2s | |
8m 15s | |
5m 35s | |
7m 6s | |
1h 48m 26s |
Job | Run time |
---|---|
7m 3s | |
6m 22s | |
6m 12s | |
5m 59s | |
6m 10s | |
6m 46s | |
6m 27s | |
7m 5s | |
6m 51s | |
8m 2s | |
10m 31s | |
10m 2s | |
8m 15s | |
5m 35s | |
7m 6s | |
1h 48m 26s |