Skip to content

Conversation

@ReinierMaas
Copy link
Contributor

@ReinierMaas ReinierMaas commented Dec 23, 2025

Makes the language server work if you don't have the rust source locally via Nix

@ReinierMaas ReinierMaas self-assigned this Dec 23, 2025
Copilot AI review requested due to automatic review settings December 23, 2025 14:42
Copy link

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 adds the rust-src extension to the Rust toolchain configuration to enable full rust-analyzer functionality in the development environment.

  • Adds rust-src to the list of Rust toolchain extensions

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

@ReinierMaas ReinierMaas requested a review from Qqwy December 23, 2025 14:44
Copy link

@SanderHageman SanderHageman left a comment

Choose a reason for hiding this comment

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

Nice

@ReinierMaas
Copy link
Contributor Author

@OpsBotPrime merge!

@OpsBotPrime
Copy link
Contributor

Rebased as 1991300, waiting for CI …

@OpsBotPrime
Copy link
Contributor

CI job 🟡 started.

@OpsBotPrime
Copy link
Contributor

The build failed ❌.

If this is the result of a flaky test, then tag me again with the retry command. Otherwise, push a new commit and tag me again.

@Qqwy
Copy link
Contributor

Qqwy commented Dec 29, 2025

Seems like the HTTP 504 failures that triggered last time when downloading Nixpkgs now are gone.

@OpsBotPrime merge

@OpsBotPrime
Copy link
Contributor

The build failed ❌.

If this is the result of a flaky test, then tag me again with the retry command. Otherwise, push a new commit and tag me again.

@Qqwy
Copy link
Contributor

Qqwy commented Dec 29, 2025

@OpsBotPrime retry

@OpsBotPrime
Copy link
Contributor

Rebased as 1991300, waiting for CI …

@OpsBotPrime
Copy link
Contributor

CI job 🟡 started.

@OpsBotPrime OpsBotPrime merged commit 1991300 into master Dec 29, 2025
17 of 19 checks passed
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.

4 participants