Stream: git-wasmtime

Topic: wasmtime / PR #3151 Add agenda for Cranelift meeting on 2...

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

cfallin opened PR #3151 from cranelift-meeting-20210809 to main:

Others please feel free to add items to the agenda as desired!

cc @abrown @jlb6740 @fitzgen @uweigand @bjorn3 and any others who plan to attend

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

cfallin updated PR #3151 from cranelift-meeting-20210809 to main.

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

cfallin edited PR #3151 from cranelift-meeting-20210809 to main:

Others please feel free to add items to the agenda as desired!

cc @abrown @jlb6740 @fitzgen @uweigand @bnjbvr @bjorn3 and any others who plan to attend

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

cfallin updated PR #3151 from cranelift-meeting-20210809 to main.

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

cfallin requested alexcrichton for a review on PR #3151.

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

cfallin requested tschneidereit for a review on PR #3151.

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

abrown submitted PR review.

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

alexcrichton submitted PR review.

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

tschneidereit submitted PR review.

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

cfallin merged PR #3151.

Last updated: Nov 22 2024 at 17:03 UTC