Stream: git-wasmtime

Topic: wasmtime / PR #5744 Generalize and/or/xor optimizations

view this post on Zulip Wasmtime GitHub notifications bot (Feb 08 2023 at 00:51):

jameysharp opened PR #5744 from opts-consts to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 08 2023 at 00:51):

jameysharp requested elliottt for a review on PR #5744.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 08 2023 at 01:36):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 08 2023 at 01:48):

jameysharp has enabled auto merge for PR #5744.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 08 2023 at 02:18):

jameysharp merged PR #5744.

Last updated: Nov 22 2024 at 16:03 UTC