Merge pull request #543 from ejgallego/update_ocamlformat #1768
| Job | Run time |
|---|---|
| 22s | |
| 2m 46s | |
| 1m 10s | |
| 7m 12s | |
| 18m 47s | |
| 14m 12s | |
| 14m 48s | |
| 15m 21s | |
| 19m 49s | |
| 26m 7s | |
| 24m 57s | |
| 2h 25m 31s |
| Job | Run time |
|---|---|
| 22s | |
| 2m 46s | |
| 1m 10s | |
| 7m 12s | |
| 18m 47s | |
| 14m 12s | |
| 14m 48s | |
| 15m 21s | |
| 19m 49s | |
| 26m 7s | |
| 24m 57s | |
| 2h 25m 31s |