flake: add lean devShells.ci for sandbox linting #9
Labels
No labels
in-review
ready-for-agent
ready-for-human
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
weiwen/evie#9
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Why
The
.sandcastlesandbox needs a Rust toolchain to run lint/test, but we don't want to duplicate the dep list in the Dockerfile. The flake is already the single source of truth for the toolchain. Adding a lean CI shell lets the sandbox pull exactly what it needs without compilingpifrom source (the default devShell drags inpi,rust-analyzer,cargo-watch— none needed to lint/test).What
Add
devShells.citoflake.nixcontaining only:rustToolchain(must includeclippy+rustfmtcomponents — the currentrust-bin.stable.latest.defaultdoes)justopenssl,pkg-config(evie links OpenSSL; clippy/test must compile)Do not include
pi,rust-analyzer,cargo-watch, ornodejs.Factor the shared inputs so
defaultandcidon't drift (e.g. alet commonBuildInputs = [...]the default extends).Acceptance criteria
nix develop .#ci -c cargo --versionworks.nix develop .#ci -c just --versionworks.nix develop .#ci -c truedoes not buildpi.devShells.defaultstill provides the full env unchanged.Notes
Foundational for #-DOCKERFILE (baked into the image layer) and the
nix develop .#ci -c just checkinvocation used by the reviewer/implementer.