Stream: git-wasmtime

Topic: wasmtime / PR #5006 feat: improve wasi_common::ErrorKind ...

view this post on Zulip Wasmtime GitHub notifications bot (Oct 04 2022 at 11:54):

npmccallum opened PR #5006 from errkind to main:

Besides the standard traits (Copy, Clone, PartialEq and Eq), we also mark the trait as non-exhaustive so that we can add errors in the future without breaking API.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 04 2022 at 21:00):

sunfishcode submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 04 2022 at 21:00):

sunfishcode merged PR #5006.

Last updated: Nov 22 2024 at 16:03 UTC