Stream: git-wasmtime

Topic: wasmtime / PR #3629 Run PR CI for release branches


view this post on Zulip Wasmtime GitHub notifications bot (Dec 21 2021 at 15:55):

alexcrichton opened PR #3629 from release-pr-ci to main:

This was accidentally ommitted from our CI configuration which meant
that release branches didn't get PR CI. They still won't get on-merge CI
but that shouldn't be an issue because the PR CI is the full 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 (Dec 21 2021 at 18:47):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 21 2021 at 18:52):

alexcrichton merged PR #3629.


Last updated: Dec 23 2024 at 12:05 UTC