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: Nov 22 2024 at 17:03 UTC