Le Sat, 28 Jan 2023 20:28:59 +0100, Csepp <[email protected]> a écrit :
> Julien Lepiller <[email protected]> writes: > > > Le Thu, 13 Oct 2022 18:16:18 +0200, > > Csepp <[email protected]> a écrit : > > > >> Julien Lepiller <[email protected]> writes: > >> > >> > Maybe this could be fixed in the dune-build-system? > >> > > >> Actually, good call. I'll look into it, unless you want to take a > >> stab at it. > > > > With the test-target argument removed, do you consider this fixed? > > Yup, it's fixed now, thanks for closing these. Closing, thanks
