build: add packages to dune-project + re-generate opam files #27
Job | Run time |
---|---|
2m 10s | |
2m 6s | |
8s | |
2m 6s | |
8s | |
2m 9s | |
2m 0s | |
1m 52s | |
1m 49s | |
2m 5s | |
1m 53s | |
2m 56s | |
9m 6s | |
30m 28s |
Job | Run time |
---|---|
2m 10s | |
2m 6s | |
8s | |
2m 6s | |
8s | |
2m 9s | |
2m 0s | |
1m 52s | |
1m 49s | |
2m 5s | |
1m 53s | |
2m 56s | |
9m 6s | |
30m 28s |