Stream: git-wasmtime

Topic: wasmtime / PR #2932 Try to ease up on CI usage slightly


view this post on Zulip Wasmtime GitHub notifications bot (May 24 2021 at 20:18):

alexcrichton opened PR #2932 from less-ci 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 (May 24 2021 at 20:30):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 24 2021 at 21:31):

alexcrichton merged PR #2932.


Last updated: Oct 23 2024 at 20:03 UTC