Stream: git-wasmtime

Topic: wasmtime / PR #2284 Fix enabling interrupts in fuzzers

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2020 at 17:10):

alexcrichton opened PR #2284 from fix-interrupts to main:

Modifying the Config after the gneine has been created has no effect,
so be sure to flag the configuration as interruptible earlier.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2020 at 20:11):

fitzgen submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2020 at 20:11):

fitzgen merged PR #2284.

Last updated: Nov 22 2024 at 16:03 UTC