Build: fix the ci by adding a missing dune file in the bin dir
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | build_and_test |
#92758
|
00:00:38
|
|
|||||
| Test | |||||||||
| passed | test_opam_test |
#92759
|
00:00:36
|
|
|||||
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | build_and_test |
#92758
|
00:00:38
|
|
|||||
| Test | |||||||||
| passed | test_opam_test |
#92759
|
00:00:36
|
|
|||||