Commit ad99d979 authored by erwan's avatar erwan
Browse files

Build: fix the ci by adding a missing dune file in the bin dir

parent 7cb731a2
Pipeline #28253 passed with stages
in 1 minute and 14 seconds