flake: add lean devShells.ci for sandbox linting #15

Merged

weiwen merged 1 commit from sandcastle/issue-9 into main

2026-07-05 03:59:35 +08:00

weiwen commented

2026-07-05 03:55:27 +08:00

Owner

Extract ciBuildInputs (rustToolchain, just, openssl, pkg-config) from the default devShell and expose them as devShells.ci, giving CI/sandbox linting a minimal shell without heavier dev dependencies (rust-analyzer, cargo-watch, pi, nodejs). The default devShell now uses ciBuildInputs ++ [...] to stay consistent.

Closes #9

Extract `ciBuildInputs` (rustToolchain, just, openssl, pkg-config) from the default devShell and expose them as `devShells.ci`, giving CI/sandbox linting a minimal shell without heavier dev dependencies (rust-analyzer, cargo-watch, pi, nodejs). The default devShell now uses `ciBuildInputs ++ [...]` to stay consistent. Closes #9

weiwen added the

ready-for-human

label

2026-07-05 03:55:27 +08:00

weiwen added 1 commit

2026-07-05 03:55:27 +08:00

RALPH: flake: add lean devShells.ci for sandbox linting (closes #9 ) 5ff59689d6

Key decisions:
- Extracted `ciBuildInputs` let-binding (rustToolchain, just, openssl,
  pkg-config) shared between both shells so they cannot drift.
- `devShells.ci` contains only the CI-necessary packages; pi, rust-analyzer,
  cargo-watch, and nodejs are absent.
- `devShells.default` extends `ciBuildInputs` with the extra dev tools so
  behaviour is unchanged for interactive development.

Files changed:
- flake.nix

Blockers: none — foundational for #11 (bake devShells.ci into the sandbox image).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

weiwen merged commit 3f3f2d3491 into main

2026-07-05 03:59:35 +08:00

weiwen deleted branch sandcastle/issue-9

2026-07-05 03:59:35 +08:00

weiwen referenced this pull request from a commit

2026-07-05 03:59:35 +08:00

flake: add lean devShells.ci for sandbox linting (#15)

weiwen referenced this pull request from a commit

2026-07-05 04:02:28 +08:00

flake: add lean devShells.ci for sandbox linting (#15)