fix: require root module to configure nixpkgs#19

avrabe wants to merge 1 commit intomainpulseengine/rules_rocq_rust:mainfrom

fix/nix-repo-root-onlypulseengine/rules_rocq_rust:fix/nix-repo-root-onlyCopy head branch name to clipboard