Skip to content

Move wasmtime-wasi's Table to wasmtime::component::ResourceTable#7655

Merged
pchickey merged 10 commits into
mainfrom
pch/resource_table_3
Dec 8, 2023
Merged

Move wasmtime-wasi's Table to wasmtime::component::ResourceTable#7655
pchickey merged 10 commits into
mainfrom
pch/resource_table_3

Conversation

@pchickey
Copy link
Copy Markdown
Contributor

@pchickey pchickey commented Dec 7, 2023

This abstraction is useful for all component model Resource lookups, not exclusive to WASI, so we are promoting it to live in wasmtime::component.

@pchickey pchickey requested a review from a team as a code owner December 7, 2023 19:01
@pchickey pchickey requested review from alexcrichton and removed request for a team December 7, 2023 19:01
@pchickey pchickey added this pull request to the merge queue Dec 7, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Dec 7, 2023
Pat Hickey added 2 commits December 7, 2023 16:13
@pchickey pchickey enabled auto-merge December 8, 2023 00:36
@pchickey pchickey added this pull request to the merge queue Dec 8, 2023
Merged via the queue into main with commit 3b61c51 Dec 8, 2023
@pchickey pchickey deleted the pch/resource_table_3 branch December 8, 2023 01:26
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.

2 participants