build: add packages to dune-project + re-generate opam files #28
Job | Run time |
---|---|
8s | |
2m 21s | |
9s | |
2m 9s | |
2m 8s | |
2m 11s | |
2m 8s | |
1m 53s | |
2m 7s | |
2m 7s | |
2m 10s | |
2m 10s | |
9m 22s | |
31m 3s |
Job | Run time |
---|---|
8s | |
2m 21s | |
9s | |
2m 9s | |
2m 8s | |
2m 11s | |
2m 8s | |
1m 53s | |
2m 7s | |
2m 7s | |
2m 10s | |
2m 10s | |
9m 22s | |
31m 3s |