Stream: git-wasmtime

Topic: wasmtime / PR #3145 Add information for Cranelift and Was...

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 14:35):

tschneidereit requested cfallin for a review on PR #3145.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 14:35):

tschneidereit opened PR #3145 from meetings to main:

As discussed with project leads for both Wasmtime and Cranelift.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 14:37):

tschneidereit requested alexcrichton for a review on PR #3145.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 14:37):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 14:37):

tschneidereit merged PR #3145.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 16:01):

bjorn3 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 16:01):

bjorn3 created PR review comment:

s/Wasmtime/Cranelift, right?

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 19:18):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 05 2021 at 19:18):

cfallin created PR review comment:

Fixed in #3151, thanks!

Last updated: Nov 22 2024 at 17:03 UTC