Expected Behavior

I would expect that whenever dune coq top is invoked from wherever in a dune workspace, with a relative path to a file that is part of a stanza in the workspace, then it simply works.

Actual Behavior

Currently dune coq top seems to only really work well when invoked from the workspace root. That is probably my fault, since I wrote the initial implementation.

Note that similarly to #7335, it may happen that invoking dune coq top in a sub-project of a workspace create a _build folder in a subdirectory (instead of at the dune workspace root). This probably does not actually happen, see #7348 for why I was confused.

Reproduction

See #7345.