Stream: git-wasmtime

Topic: wasmtime / issue #5868 add basic coredump generation

Wasmtime GitHub notifications bot (Feb 24 2023 at 16:26):

xtuc commented on issue #5868:

I changed the coredump generation to gracefully handle errors, as you pointed out. The dependencies are now trimmed down.

Wasmtime GitHub notifications bot (Feb 24 2023 at 16:26):

xtuc edited a comment on issue #5868:

I changed the coredump generation to gracefully handle errors, as you pointed out. The dependencies are now trimmed down.

Could you please have another look @alexcrichton .

Wasmtime GitHub notifications bot (Feb 24 2023 at 16:26):

xtuc edited a comment on issue #5868:

I changed the coredump generation to gracefully handle errors, as you pointed out. The dependencies are now trimmed down.

Could you please have another look @alexcrichton?

Last updated: Dec 23 2024 at 12:05 UTC