fix: Improve Nix build & CI time - #657

Draft

samuelburnham wants to merge 5 commits into

mainfrom

ci/split-nix-devshell

Commits on Oct 2, 2026

ci: Run the Nix dev shell build in its own job
samuelburnham
committed
769e15c
nix: Build every Rust package with the deps-only feature set
samuelburnham
committed
02ceab7
nix: Install only binaries and oleans from executable packages
samuelburnham
committed
6b2a0bf
nix: Use lean4-nix's binary install mode and archive the Ix library
samuelburnham
committed
9b62a57
nix: Take lean4-nix's oleans-only binary install default
samuelburnham
committed
245f0db