build: separate ci devshell to avoid overriding system neovim #201

Merged

barrettruth merged 1 commit from build/ci-devshell into main

2026-03-21 19:50:43 +00:00

barrettruth commented

2026-03-21 19:43:54 +00:00

Problem

The default devshell included pkgs.neovim which overrode the user's system neovim (e.g. nightly) on PATH when entering the shell interactively.

Solution

Move pkgs.neovim to a dedicated ci devshell. The default shell no longer includes neovim. scripts/ci.sh uses nix develop .#ci for all commands.

## Problem The default devshell included `pkgs.neovim` which overrode the user's system neovim (e.g. nightly) on PATH when entering the shell interactively. ## Solution Move `pkgs.neovim` to a dedicated `ci` devshell. The default shell no longer includes neovim. `scripts/ci.sh` uses `nix develop .#ci` for all commands.