Skip to content

ci: install toolchain properly#2026

Open
Mirko-von-Leipzig wants to merge 1 commit intonextfrom
mirko/ci/fixup-rustup
Open

ci: install toolchain properly#2026
Mirko-von-Leipzig wants to merge 1 commit intonextfrom
mirko/ci/fixup-rustup

Conversation

@Mirko-von-Leipzig
Copy link
Copy Markdown
Collaborator

Fix rustup not respecting our toolchain file leading to duplicate installation when building.

@Mirko-von-Leipzig Mirko-von-Leipzig requested a review from kkovaacs May 1, 2026 10:25
@Mirko-von-Leipzig Mirko-von-Leipzig added the no changelog This PR does not require an entry in the `CHANGELOG.md` file label May 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant