Stream: git-wasmtime

Topic: wasmtime / PR #2339 peepmatic: update z3 dependency to ve...

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

fitzgen opened PR #2339 from update-z3 to main:

This pulls in the fix for fedora builds: https://github.com/prove-rs/z3.rs/issues/98

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

fitzgen requested julian-seward1 for a review on PR #2339.

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

alexcrichton submitted PR Review.

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

fitzgen merged PR #2339.

Last updated: Dec 23 2024 at 12:05 UTC