Wasmtime GitHub notifications bot (Jun 19 2020 at 16:45): Wasmtime GitHub notifications bot (Jun 19 2020 at 16:45):bjorn3 commented on Issue #1903:
I think it should be a separate option. During development a cache doesn't help much, as the wasm file changes continuously, but parallel compilation does help.
Wasmtime GitHub notifications bot (Jun 21 2020 at 11:46):tschneidereit commented on Issue #1903:
I agree with @bjorn3, this should ideally not be tied to whether caching is enabled.
Looking at the code a bit, it's not exactly straight-forward to pipe through configuration for this, unfortunately. I wonder if it'd make sense to introduce a higher-level config struct, which would include the
Strategy, and other configuration such as for caching and parallelization.
Last updated: Nov 22 2024 at 16:03 UTC