Stream: git-wasmtime

Topic: wasmtime / PR #5990 Move DefaultProfiler to a separate mo...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 13:18):

bjorn3 opened PR #5990 from factor_out_default_profiler to main:

To ensure that all methods necessary to implement a custom profiler are public.

Requested in https://github.com/bytecodealliance/wasmtime/pull/5749#pullrequestreview-1333905101

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 13:38):

bjorn3 updated PR #5990 from factor_out_default_profiler to main.

Last updated: Nov 22 2024 at 16:03 UTC