Stream: git-wasmtime

Topic: wasmtime / PR #4085 Remove old peepmatic source file


view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2022 at 16:54):

fitzgen opened PR #4085 from remove-leftover-peepmatic-file to main:

Peepmatic has long since been removed, we have ISLE now.

<!--

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 (Apr 28 2022 at 16:54):

fitzgen requested cfallin for a review on PR #4085.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2022 at 17:14):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2022 at 17:43):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2022 at 18:04):

fitzgen merged PR #4085.


Last updated: Dec 23 2024 at 12:05 UTC