Stream: git-wasmtime

Topic: wasmtime / PR #9062 wasi-keyvalue: remove the Redis provider


view this post on Zulip Wasmtime GitHub notifications bot (Aug 02 2024 at 09:07):

iawia002 opened PR #9062 from iawia002:rm-redis to bytecodealliance:main:

Previously discussed here: https://github.com/bytecodealliance/wasmtime/pull/8983#issuecomment-2264813319

Since the specific form of the "host plugins" is still unclear, this PR reverts the implementation to its original state, considering only the in-memory provider. It does not retain any extension interfaces. I believe we can only make the relevant changes after we have decided how to implement those host plugins.

cc @alexcrichton @thomastaylor312 @fitzgen

view this post on Zulip Wasmtime GitHub notifications bot (Aug 02 2024 at 09:07):

iawia002 requested elliottt for a review on PR #9062.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 02 2024 at 09:07):

iawia002 requested wasmtime-default-reviewers for a review on PR #9062.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 02 2024 at 09:07):

iawia002 requested wasmtime-core-reviewers for a review on PR #9062.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 02 2024 at 14:00):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 03 2024 at 01:05):

iawia002 updated PR #9062.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 03 2024 at 01:31):

iawia002 updated PR #9062.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 04 2024 at 22:16):

alexcrichton merged PR #9062.


Last updated: Dec 23 2024 at 12:05 UTC