OCamlfind is required to build the GUI with lablgtk3. #508
Job | Run time |
---|---|
2m 36s | |
1m 40s | |
3m 17s | |
16m 43s | |
5m 38s | |
8m 35s | |
2m 2s | |
9m 20s | |
5m 36s | |
19m 29s | |
4m 43s | |
4m 8s | |
5m 52s | |
4m 0s | |
5m 0s | |
3m 31s | |
4m 58s | |
7m 24s | |
4m 44s | |
7m 16s | |
1m 44s | |
1m 50s | |
1m 53s | |
1m 58s | |
2m 13s | |
1m 58s | |
1m 57s | |
3m 45s | |
4m 3s | |
4m 2s | |
3m 44s | |
3m 24s | |
5m 29s | |
6m 26s | |
5m 14s | |
6m 6s | |
4m 20s | |
3h 6m 38s |