Skip to content

chore: add devenv setup - #5

Merged
raszi merged 7 commits into
mainfrom
chore/devenv
Nov 13, 2026
Merged

raszi merged 7 commits into
mainfrom
chore/devenv

Conversation

@raszi

@raszi raszi commented Nov 13, 2026 •

Copy link
Copy Markdown
Member

Add a devenv shell, and run CI in it.

  • Add devenv.nix with Rust and git hooks: rustfmt, clippy on all targets, typos, and Nix checks.
  • Replace the old Rust workflow with a devenv workflow.
  • Fix the typos and the clippy warnings that the hooks found.

@raszi
raszi merged commit 9c08986 into main Nov 13, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant