Support compilation using [dune]. #42
Job | Run time |
---|---|
4m 20s | |
4m 16s | |
5m 11s | |
7m 45s | |
7m 32s | |
8m 9s | |
7m 54s | |
7m 40s | |
7m 39s | |
1h 1m 10s | |
2m 57s | |
2h 4m 33s |
Job | Run time |
---|---|
4m 20s | |
4m 16s | |
5m 11s | |
7m 45s | |
7m 32s | |
8m 9s | |
7m 54s | |
7m 40s | |
7m 39s | |
1h 1m 10s | |
2m 57s | |
2h 4m 33s |