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

Wasmtime: use resources for WASI #7022

Closed
pchickey opened this issue Sep 12, 2023 · 1 comment
Closed

Wasmtime: use resources for WASI #7022

pchickey opened this issue Sep 12, 2023 · 1 comment
Assignees
Labels
wasi:impl Issues pertaining to WASI implementation in Wasmtime

Comments

@pchickey
Copy link
Contributor

No description provided.

@pchickey pchickey converted this from a draft issue Sep 12, 2023
@pchickey pchickey added wasi:impl Issues pertaining to WASI implementation in Wasmtime wasi:api Issues pertaining to the WASI API, not necessarily specific to Wasmtime. and removed wasi:impl Issues pertaining to WASI implementation in Wasmtime wasi:api Issues pertaining to the WASI API, not necessarily specific to Wasmtime. labels Sep 13, 2023
@pchickey pchickey moved this to In Progress in Ship WASI Preview 2 Sep 19, 2023
@pchickey pchickey moved this to In Progress in Ship WASI Preview 2 Sep 19, 2023
@alexcrichton
Copy link
Member

Done in #7029. Not done exhaustively for all proposals yet, but that's tracked in #7021.

@github-project-automation github-project-automation bot moved this from In Progress to Done in Ship WASI Preview 2 Sep 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
wasi:impl Issues pertaining to WASI implementation in Wasmtime
Projects
Status: Done
Development

No branches or pull requests

3 participants