Expected Behavior

Running dune coq top --no-build ... should not fail if there is a concurrently running dune build command.

Actual Behavior

You get: Error: A running dune instance has locked the build directory.

Is there anything we can do to fix this? Or does dune coq top --no-build ... possibly need to build stuff?