Stream: git-wasmtime

Topic: wasmtime / PR #4476 Remove the 'skip ci' annotation from ...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 20 2022 at 14:34):

alexcrichton opened PR #4476 from run-ci to main:

With branch protections enabled that would otherwise mean that the PR
cannot be landed since CI is now required to run. These date-update PRs
typically come at odd off-hours for Wasmtime anyway so it should be fine
to run CI.

<!--

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 (Jul 20 2022 at 16:20):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 20 2022 at 16:26):

alexcrichton merged PR #4476.


Last updated: Dec 23 2024 at 12:05 UTC