Skip to content

Generate opam files with dune #757

Generate opam files with dune

Generate opam files with dune #757

Job Run time
3m 8s
3m 43s
2m 42s
3m 40s
3m 17s
3m 47s
2m 59s
3m 35s
2m 55s
3m 50s
3m 14s
3m 29s
2m 51s
3m 24s
2m 44s
3m 14s
2m 37s
3m 16s
2m 58s
7m 8s
11m 51s
6m 39s
2m 35s
4m 58s
4m 6s
1h 38m 40s