Stream: git-wasmtime

Topic: wasmtime / PR #5441 Assorted ISLE changes to prep for new...

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 21:59):

jameysharp opened PR #5441 from isle-prep to main:

This is a multi-commit version of the "easy" parts of #5435 which I'm hoping will be easier to review and get out of the way. I've tested that each commit individually passes both the ISLE tests and the filetests.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 21:59):

jameysharp requested elliottt for a review on PR #5441.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 22:11):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 22:41):

jameysharp merged PR #5441.

Last updated: Nov 22 2024 at 16:03 UTC