Skip to content

feat(flake): add Nix development shell#1592

Merged
drew merged 4 commits into
mainfrom
sscatton/nix-devshell-setup
May 29, 2026
Merged

feat(flake): add Nix development shell#1592
drew merged 4 commits into
mainfrom
sscatton/nix-devshell-setup

Conversation

@SDAChess
Copy link
Copy Markdown
Collaborator

@SDAChess SDAChess commented May 27, 2026

Summary

Adds an initial Nix flake for the OpenShell development environment. The dev shell uses the repository rust-toolchain.toml through rust-overlay, and exposes nix fmt through treefmt-nix.

Related Issue

#1362

Changes

  • Add flake.nix and flake.lock.
  • Configure a default x86_64-linux, aarch64-linux, aarch64-darwin dev shell.
  • Source the Rust toolchain from rust-toolchain.toml.
  • Add pkg-config, libclang, and z3 for the Rust unit-test build.
  • Configure treefmt-nix with nixfmt as the flake formatter.

Testing

  • mise run pre-commit passes
  • cargo test --workspace passes
  • Unit tests added/updated
  • E2E tests added/updated (if applicable)

Checklist

@copy-pr-bot
Copy link
Copy Markdown

copy-pr-bot Bot commented May 27, 2026

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@SDAChess
Copy link
Copy Markdown
Collaborator Author

/ok-to-test 4c2162a

@SDAChess SDAChess changed the title feat(flake): add Nix development shell feat(flake): add Nix development shell for x86_64-linux May 27, 2026
@SDAChess SDAChess changed the title feat(flake): add Nix development shell for x86_64-linux feat(flake): add Nix development shell May 27, 2026
@SDAChess
Copy link
Copy Markdown
Collaborator Author

/ok-to-test 95a4bcb

Copy link
Copy Markdown
Member

@elezar elezar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for these changes. I think they're low-risk enout to get in and iterate as required.

Copy link
Copy Markdown
Collaborator

@drew drew left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

+1 I think this is self-contained and good to merge so we can keep tinkering on a prototype.

@drew drew merged commit 7873f61 into main May 29, 2026
25 checks passed
@drew drew deleted the sscatton/nix-devshell-setup branch May 29, 2026 04:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants