Stream: git-wasmtime

Topic: wasmtime / PR #7515 Remove timezone interface from wasi-c...

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2023 at 18:44):

pchickey edited PR #7515:

Implements the change for https://github.com/WebAssembly/wasi-clocks/pull/55: remove timezone interface from wasi-clocks.

We never made time to implement these in Wasmtime, so the implementations deleted are all just todo!()s. We will add these functions back to wasi-clocks in a future spec revision and accompany them with an implementation.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2023 at 18:45):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2023 at 17:54):

pchickey updated PR #7515.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2023 at 17:54):

pchickey has enabled auto merge for PR #7515.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2023 at 18:55):

pchickey merged PR #7515.

Last updated: Nov 22 2024 at 17:03 UTC