Stream: git-wasmtime

Topic: wasmtime / PR #3417 Add some debug logging for timing in ...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 04 2021 at 21:28):

alexcrichton opened PR #3417 from debug-timings to main:

This is sometimes helpful when debugging slow compiles from fuzz bugs or
similar.

<!--

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.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Oct 04 2021 at 21:38):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2021 at 15:34):

alexcrichton updated PR #3417 from debug-timings to main.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2021 at 17:14):

alexcrichton updated PR #3417 from debug-timings to main.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2021 at 17:18):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2021 at 17:50):

alexcrichton merged PR #3417.


Last updated: Dec 23 2024 at 13:07 UTC