Stream: git-wasmtime

Topic: wasmtime / PR #9160 Use a smaller default GC heap under MIRI

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 18:58):

fitzgen edited PR #9160.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 18:58):

fitzgen commented on PR #9160:

@alexcrichton I made the default GC heap 64KiB under MIRI, and this seems to speed up the slow tests.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 19:17):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 19:32):

alexcrichton merged PR #9160.

Last updated: Oct 23 2024 at 20:03 UTC