Stream: git-wasmtime

Topic: wasmtime / issue #7417 Turn `request-options` into a reso...

Wasmtime GitHub notifications bot (Oct 30 2023 at 21:45):

pchickey commented on issue #7417:

Random drive-by thought unrelated to this change specifically, could the *-ms bits be updated to take the duration type in https://github.com/bytecodealliance/wasmtime/pull/7358 which would give more precision here as well?

Yes, we can make that change as soon as 7358 lands.

Wasmtime GitHub notifications bot (Oct 30 2023 at 23:24):

pchickey commented on issue #7417:

You can merge with main and adopt duration now!

Last updated: Nov 22 2024 at 16:03 UTC