Stream: git-wasmtime

Topic: wasmtime / PR #1937 deps: Bump `z3` to 0.6.0


view this post on Zulip Wasmtime GitHub notifications bot (Jun 29 2020 at 17:43):

fitzgen requested alexcrichton for a review on PR #1937.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 29 2020 at 17:43):

fitzgen opened PR #1937 from upgrade-z3-for-peepmatic to main:

Z3 is used by peepmatic.

<!--

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 (Jun 29 2020 at 17:46):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 29 2020 at 18:19):

fitzgen merged PR #1937.


Last updated: Dec 23 2024 at 13:07 UTC