Stream: git-wasmtime

Topic: wasmtime / PR #5256 Update `wasmi` to `0.20.0` in `wasmti...

Wasmtime GitHub notifications bot (Nov 12 2022 at 08:32):

Robbepop edited PR #5256 from rf-update-wasmi-to-0.20 to main:

Tiny PR that updates to most recent wasmi version in the wasmtime-fuzzing crate.

Wasmtime GitHub notifications bot (Nov 12 2022 at 08:33):

Robbepop edited PR #5256 from rf-update-wasmi-to-0.20 to main:

Tiny PR that updates to most recent wasmi version in the wasmtime-fuzzing crate.

Changelog: https://github.com/paritytech/wasmi/blob/master/CHANGELOG.md#0200---2022-11-04

Wasmtime GitHub notifications bot (Nov 14 2022 at 20:26):

Robbepop updated PR #5256 from rf-update-wasmi-to-0.20 to main.

Wasmtime GitHub notifications bot (Nov 14 2022 at 22:51):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Nov 14 2022 at 22:51):

alexcrichton merged PR #5256.

Last updated: Nov 22 2024 at 17:03 UTC