diff options
| author | vkcku <[email protected]> | 2026-06-02 07:03:39 +0530 |
|---|---|---|
| committer | vkcku <[email protected]> | 2026-06-02 07:03:39 +0530 |
| commit | 0ba2b320f1a0b61e7eb444ad74eca4dee4577e5b (patch) | |
| tree | 9194b3ad46c113776c3ba59f2b7d2d5d4fec62f0 /infra | |
| parent | root: add script to push to public monorepo (diff) | |
infra: name the devshell
monorepo-revid: 8bfdcef6eab7bb36767f8dcc99fd59a577432996
Diffstat (limited to 'infra')
| -rw-r--r-- | infra/nix/devshell.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/nix/devshell.nix b/infra/nix/devshell.nix index 316afd2..ac99388 100644 --- a/infra/nix/devshell.nix +++ b/infra/nix/devshell.nix @@ -8,6 +8,7 @@ treefmt = pkgs.callPackage ./_treefmt.nix { treefmt-nix = inputs.treefmt-nix; }; in pkgs.mkShellNoCC { + name = "infra"; inputsFrom = [ self.devShells."${system}".common ]; packages = [ # keep-sorted start |