Stream: git-wasmtime

Topic: wasmtime / PR #3639 Various cleanups around machinst

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 19:45):

bjorn3 opened PR #3639 from machinst_cleanups to main:

This removes a non-negligible amount of dead code as well as simplifying some interfaces.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2022 at 13:02):

bjorn3 updated PR #3639 from machinst_cleanups to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2022 at 13:23):

bjorn3 updated PR #3639 from machinst_cleanups to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2022 at 13:52):

bjorn3 updated PR #3639 from machinst_cleanups to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2022 at 14:50):

bjorn3 updated PR #3639 from machinst_cleanups to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2022 at 17:06):

bjorn3 updated PR #3639 from machinst_cleanups to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 05 2022 at 18:01):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 05 2022 at 18:01):

cfallin merged PR #3639.

Last updated: Oct 23 2024 at 20:03 UTC