Stream: git-wasmtime

Topic: wasmtime / PR #1701 Add github labels actions integration...


view this post on Zulip Wasmtime GitHub notifications bot (May 14 2020 at 16:23):

fitzgen requested alexcrichton for a review on PR #1701.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2020 at 16:23):

fitzgen opened PR #1701 from peepmatic-github-actions to master:

And re-sort labels.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2020 at 16:26):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2020 at 17:25):

fitzgen merged PR #1701.


Last updated: Dec 23 2024 at 13:07 UTC