Stream: git-wasmtime

Topic: wasmtime / Issue #1810 fix(tagged-union): changed test pr...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 03 2020 at 18:51):

3miliano commented on Issue #1810:

@alexcrichton released wasi 0.10.0, PR has been updated to reflect this new dependency

view this post on Zulip Wasmtime GitHub notifications bot (Jun 03 2020 at 23:59):

3miliano commented on Issue #1810:

@alexcrichton We're green! :)

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2020 at 00:28):

pchickey commented on Issue #1810:

I think Alex has finished his work day so I'll merge it. Thanks for working on this!

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2020 at 01:56):

3miliano commented on Issue #1810:

@pchickey Thank Pat. My pleasure.

Last updated: Oct 23 2024 at 20:03 UTC