Stream: git-wasmtime

Topic: wasmtime / PR #4911 Add --disable-parallel-compilation CL...


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

TerrorJack opened PR #4911 from cli-support-disable-parallel-compilation to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

Closes #4910. This PR adds --disable-parallel-compilation CLI flag to wasmtime, for use cases when parallel compilation is not desirable.

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

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 15 2022 at 11:12):

TerrorJack updated PR #4911 from cli-support-disable-parallel-compilation to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 16 2022 at 15:33):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 16 2022 at 15:33):

alexcrichton merged PR #4911.


Last updated: Dec 23 2024 at 12:05 UTC