Stream: git-wasmtime

Topic: wasmtime / PR #1279 Autolabel wasi-common PRs as wasi

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2020 at 09:57):

kubkon opened PR #1279 from labeler-wasi-common to master:

It seems we missed that one in the labeler, so adding now.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2020 at 09:57):

kubkon requested fitzgen for a review on PR #1279.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2020 at 09:57):

kubkon requested alexcrichton, and fitzgen for a review on PR #1279.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2020 at 10:47):

tschneidereit submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2020 at 10:47):

tschneidereit merged PR #1279.

Last updated: Nov 22 2024 at 16:03 UTC