Stream: git-wasmtime

Topic: wasmtime / PR #5219 [2.0.0] Fix CI builds


view this post on Zulip Wasmtime GitHub notifications bot (Nov 07 2022 at 22:53):

alexcrichton opened PR #5219 from fix-ci to release-2.0.0:

This is done to land ahead of https://github.com/bytecodealliance/wasmtime/pull/5218

view this post on Zulip Wasmtime GitHub notifications bot (Nov 08 2022 at 00:43):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 08 2022 at 00:47):

alexcrichton merged PR #5219.


Last updated: Oct 23 2024 at 20:03 UTC