winglang / wing

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
https://winglang.io
Other
5.06k stars 198 forks source link

chore: update rust and wasi toolchain #7212

Closed Pushkarm029 closed 1 week ago

Pushkarm029 commented 3 weeks ago

Resolves #7175 This PR updates rust and wasi toolchain to latest.

Checklist

By submitting this pull request, I confirm that my contribution is made under the terms of the Wing Cloud Contribution License.

github-actions[bot] commented 3 weeks ago

Thanks for opening this pull request! :tada: Please consult the contributing guidelines for details on how to contribute to this project. If you need any assistance, don't hesitate to ping use over Discord.

Pushkarm029 commented 3 weeks ago

Thanks, @eladb, for approving, but I think it still needs some work.

eladb commented 3 weeks ago

@Pushkarm029 ping me when this is ready

eladb commented 2 weeks ago

@Pushkarm029 let us know if you need any help

Pushkarm029 commented 2 weeks ago

@eladb, CI Green🟢. Looks good to go.

Pushkarm029 commented 1 week ago

@eladb, We can merge this now.

MarkMcCulloh commented 1 week ago

This PR should auto-merge if you remove the review-mutation label and resolve all the conversations

eladb commented 1 week ago

@Pushkarm029 can you please merge from main

Pushkarm029 commented 1 week ago

Done

MarkMcCulloh commented 1 week ago

Heads up that the pr/review-mutation label needs to be removed in order to merge (see mergify rules here)

Pushkarm029 commented 1 week ago

@eladb, i think you can remove this label: pr/review-mutation.

mergify[bot] commented 1 week ago

Thanks for contributing, @Pushkarm029! This PR will now be added to the merge queue, or immediately merged if update_rust_wasm is up-to-date with main and the queue is empty.

monadabot commented 1 week ago

Congrats! :rocket: This was released in Wing 0.85.33.