Stream: git-wasmtime

Topic: wasmtime / issue #9104 Add progress meter to --optimize: ...

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2024 at 20:23):

guest271314 opened issue #9104:

Thanks for filing a feature request! Please fill out the TODOs below.

Feature

Add progress meter to --optimize: No way to know if wasmtime is hanging.

$ wasmtime --optimize opt-level=s nm_javy.wasm

Benefit

The user knows if wasmtime is working and not hanging.

Implementation

Something like wget --show-progress --progress=bar.

Alternatives

Unknown.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2024 at 20:30):

guest271314 closed issue #9104:

Thanks for filing a feature request! Please fill out the TODOs below.

Feature

Add progress meter to --optimize: No way to know if wasmtime is hanging.

$ wasmtime --optimize opt-level=s nm_javy.wasm

Benefit

The user knows if wasmtime is working and not hanging.

Implementation

Something like wget --show-progress --progress=bar.

Alternatives

Unknown.

Last updated: Dec 23 2024 at 12:05 UTC