remove dune-build-root and replace it with workspace_root#18201

glyh wants to merge 1 commit intocompatibleMinaProtocol/mina:compatiblefrom

lyh/remove-dune-build-root-kimchi-bindingsMinaProtocol/mina:lyh/remove-dune-build-root-kimchi-bindingsCopy head branch name to clipboard