Skip to content

Use default rustup profile on Windows#31

Merged
terasakisatoshi merged 1 commit into
mainfrom
fix/windows-rustup-default-profile
Apr 26, 2026
Merged

Use default rustup profile on Windows#31
terasakisatoshi merged 1 commit into
mainfrom
fix/windows-rustup-default-profile

Conversation

@terasakisatoshi
Copy link
Copy Markdown
Member

Summary

  • Switch Windows isolated rustup installation from --profile complete to --profile default
  • Update README Windows installation notes to match

Verification

  • Ran julia --project run.jl from examples/
  • Confirmed the previous missing miri / rustc-codegen-cranelift component error is resolved
  • Build now proceeds to Cargo and fails later because link.exe is not available in PATH on this machine

@terasakisatoshi terasakisatoshi merged commit 19b770b into main Apr 26, 2026
8 checks passed
@terasakisatoshi terasakisatoshi deleted the fix/windows-rustup-default-profile branch April 26, 2026 08:51
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.

1 participant