Janestreet profile: do not break fun _ -> function
#234
| Job | Run time |
|---|---|
| 17m 2s | |
| 12m 27s | |
| 29m 29s |
fun _ -> function
#234
| Job | Run time |
|---|---|
| 17m 2s | |
| 12m 27s | |
| 29m 29s |