Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix CI rust toolchain #323

Merged
merged 1 commit into from
Mar 4, 2025
Merged

Conversation

ludfjig
Copy link
Contributor

@ludfjig ludfjig commented Mar 4, 2025

Rustup 1.28.0 stopped implicitly downloading the toolchain in rust-toolchain.toml by default (if it is not already installed when you install specific targets), so we'll need to add it explicitly. Note that it's important we download nightly first, and then 1.81, so that 1.81 is left as the default.

@ludfjig ludfjig force-pushed the fix_toolchain branch 2 times, most recently from 5271b58 to 1147c22 Compare March 4, 2025 18:57
@ludfjig ludfjig added the area/infrastructure Concerns infrastructure rather than core functionality label Mar 4, 2025
Signed-off-by: Ludvig Liljenberg <lliljenberg@microsoft.com>
@ludfjig ludfjig marked this pull request as ready for review March 4, 2025 19:09
@ludfjig ludfjig enabled auto-merge (squash) March 4, 2025 19:49
@marosset marosset disabled auto-merge March 4, 2025 20:07
@ludfjig ludfjig merged commit ca4d775 into hyperlight-dev:main Mar 4, 2025
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/infrastructure Concerns infrastructure rather than core functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants