Stream: git-wasmtime

Topic: wasmtime / PR #3826 Add Wasmtime meeting minutes for 2022...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 17:57):

cfallin opened PR #3826 from wasmtime-20220217-minutes to main:

Also move the verified fuzzing interpreter agenda item to today's agenda
from Mar 17, since it actually was discussed today.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:54):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:55):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:55):

peterhuene created PR review comment:

Nit: should this bullet item be removed?

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:58):

cfallin updated PR #3826 from wasmtime-20220217-minutes to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:58):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:58):

cfallin created PR review comment:

Done!

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2022 at 18:58):

cfallin merged PR #3826.


Last updated: Dec 23 2024 at 12:05 UTC