Stream: git-wasmtime

Topic: wasmtime / PR #1731 cranelift: bump regalloc.rs to 0.0.24...

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 11:49):

bnjbvr opened PR #1731 from bump-regalloc-24 to master.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 11:49):

bnjbvr requested cfallin and julian-seward1 for a review on PR #1731.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 11:49):

bnjbvr requested cfallin and julian-seward1 for a review on PR #1731.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 13:04):

julian-seward1 submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 13:06):

bnjbvr updated PR #1731 from bump-regalloc-24 to master.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 13:37):

bnjbvr merged PR #1731.

Last updated: Oct 23 2024 at 20:03 UTC