Stream: git-wasmtime

Topic: wasmtime / PR #2329 CI: upload built peepholes as artifacts


view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2020 at 20:02):

fitzgen opened PR #2329 from upload-serialized-peepholes to main:

For people who can't build Z3, this lets them update the peephole optimizers
when necessary.

+cc @julian-seward1

<!--

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 (Oct 27 2020 at 20:02):

fitzgen requested alexcrichton for a review on PR #2329.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2020 at 21:23):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2020 at 23:03):

fitzgen merged PR #2329.


Last updated: Dec 23 2024 at 13:07 UTC