Merge pull request #206 from yfyf/remove-ppxlib-dependency #426
Job | Run time |
---|---|
1m 25s | |
20m 15s | |
8m 50s | |
4s | |
2m 24s | |
2m 28s | |
3m 34s | |
3m 46s | |
5m 30s | |
3m 11s | |
2m 14s | |
2m 3s | |
55m 44s |
Job | Run time |
---|---|
1m 25s | |
20m 15s | |
8m 50s | |
4s | |
2m 24s | |
2m 28s | |
3m 34s | |
3m 46s | |
5m 30s | |
3m 11s | |
2m 14s | |
2m 3s | |
55m 44s |