Stream: git-wasmtime

Topic: wasmtime / PR #3803 Add messages for config changes


view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 17:44):

fitzgen opened PR #3803 from add-messages-for-config-changes to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 17:44):

fitzgen requested alexcrichton for a review on PR #3803.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 18:25):

fitzgen updated PR #3803 from add-messages-for-config-changes to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 20:27):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 20:27):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 20:27):

alexcrichton created PR review comment:

Could this be bundled into one of the preexisting cron flows to avoid spawning more actions? The current "actions" tab of the repo already has a fair bit of noise and I think it'd be best to move these to one place.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 20:51):

fitzgen updated PR #3803 from add-messages-for-config-changes to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 20:51):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 20:51):

fitzgen created PR review comment:

Done

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2022 at 22:09):

fitzgen merged PR #3803.


Last updated: Dec 23 2024 at 12:05 UTC