Stream: git-wasmtime

Topic: wasmtime / PR #4013 Delete cranelift regalloc document


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

maekawatoshiki opened PR #4013 from delete-clif-doc-regalloc to main:

This PR deletes an outdated document for Cranelift regalloc. (ref. #4008)

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

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 11 2022 at 20:55):

abrown merged PR #4013.


Last updated: Dec 23 2024 at 13:07 UTC