Félix cbade49976 feat: Add lean toolchain to nix (#8186)

2026-10-02 14:48:17 +00:00

..

check-tools

feat: Add lean toolchain to nix (#8186)

2026-10-02 14:48:17 +00:00

docker

ci: Add nightly Rust toolchain to the CI image (#8182)

2026-09-09 01:24:28 +00:00

ci-env.nix

build: Run nix macos builds in CI; deny nix store references (#8023)

2026-08-18 23:34:16 +00:00

darwin.nix

build: Run nix macos builds in CI; deny nix store references (#8023)

2026-08-18 23:34:16 +00:00

devshell.nix

feat: Add lean toolchain to nix (#8186)

2026-10-02 14:48:17 +00:00

linux.nix

build: Run nix macos builds in CI; deny nix store references (#8023)

2026-08-18 23:34:16 +00:00

packages.nix

ci: Add nightly Rust toolchain to the CI image (#8182)

2026-09-09 01:24:28 +00:00

rust-nightly.sh

ci: Add nightly Rust toolchain to the CI image (#8182)

2026-09-09 01:24:28 +00:00

rust.nix

ci: Add nightly Rust toolchain to the CI image (#8182)

2026-09-09 01:24:28 +00:00

utils.nix

ci: Use rust-overlay to bring Rust into nix (#7837)

2026-07-22 14:00:17 +00:00