Skip to content

Conversation

@0xh4ty
Copy link
Contributor

@0xh4ty 0xh4ty commented Dec 30, 2025

This PR adds rust-analyzer to the Nix dev shell and the pinned Rust toolchain to improve editor tooling when working with this repository.

See issue for details: #113

Closes #113.

Copy link
Collaborator

@dkcumming dkcumming left a comment

Choose a reason for hiding this comment

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

Awesome

@dkcumming dkcumming merged commit 22a56dd into runtimeverification:master Jan 11, 2026
9 of 10 checks passed
@juliankuners
Copy link
Contributor

We shouldn't add rust-analyzer from pkgs into the nix develop shell when using github:oxalica/rust-overlay. Adding rust-analyzer to the components in rust-toolchain.toml is sufficient, since we are parsing that file in the nix flake.

Can we update the flake file to explicitly not add rust-analyzer from nixpkgs to the develop shell? I feel like the rust-analyzer version should match the toolchain revision.

@dkcumming
Copy link
Collaborator

@juliankuners Opps that would be on me approving too quickly. Let me get a PR up for you.

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.

Add rust-analyzer to rust-toolchain.toml and flake.nix

3 participants