Skip to content

chore(nix): add flake with devShell and direnv support#217

Merged
mkqavi merged 1 commit intomainfrom
push-mymwpmmkmzno
May 3, 2026
Merged

chore(nix): add flake with devShell and direnv support#217
mkqavi merged 1 commit intomainfrom
push-mymwpmmkmzno

Conversation

@mkqavi
Copy link
Copy Markdown
Owner

@mkqavi mkqavi commented May 3, 2026

No description provided.

@mkqavi mkqavi self-assigned this May 3, 2026
@mkqavi mkqavi requested a review from Copilot May 3, 2026 16:43
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR introduces a Nix-based development environment for the Rust project so contributors can enter a reproducible shell and optionally auto-load it with direnv. It fits into the codebase as developer tooling around the existing Cargo-based workflow rather than changing runtime behavior.

Changes:

  • Add a new flake.nix that defines a cross-platform devShell with Rust, OpenSSL-related build dependencies, and Nix tooling.
  • Add a pinned flake.lock so the development environment is reproducible.
  • Add .envrc to enable direnv-based loading of the flake shell.

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated 1 comment.

File Description
flake.nix Defines the new Nix flake and default development shell for supported systems.
flake.lock Pins the Nix inputs used by the flake for reproducibility.
.envrc Enables direnv to automatically load the flake-based shell.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .envrc
@mkqavi mkqavi force-pushed the push-mymwpmmkmzno branch from 66fed2d to 7394804 Compare May 3, 2026 16:46
@mkqavi mkqavi enabled auto-merge May 3, 2026 16:47
@mkqavi mkqavi merged commit 33ff4c9 into main May 3, 2026
3 checks passed
@mkqavi mkqavi deleted the push-mymwpmmkmzno branch May 3, 2026 16:47
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.

2 participants