Skip to content

Update wasi-sdk used in CI/releases#152183

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
alexcrichton:update-wasi-sdk
Feb 6, 2026
Merged

Update wasi-sdk used in CI/releases#152183
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
alexcrichton:update-wasi-sdk

Conversation

@alexcrichton
Copy link
Copy Markdown
Member

@alexcrichton alexcrichton commented Feb 5, 2026

This is similar to prior updates such as #149037 in that this is just updating a URL. This update though has some technical updates accompanying it as well, however:

Overall this is not expected to have any sort of major impact on users of WASI targets. Instead it's expected to be a normal routine update to keep the wheels greased and oiled.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-CI Area: Our Github Actions CI A-testsuite Area: The testsuite used to check the correctness of rustc merged-by-bors This PR was explicitly merged by bors. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants