Closed Leonidas-from-XIV closed 1 week ago
Patches (or any extra files) cannot be found because dirs excludes the dune.lock thus the included patch is invisible to Dune.
dirs
dune.lock
Thanks to @mefyl for reporting the case and @gridbugs for isolating the issue.
Patches (or any extra files) cannot be found because
dirs
excludes thedune.lock
thus the included patch is invisible to Dune.Thanks to @mefyl for reporting the case and @gridbugs for isolating the issue.