Stream: git-wasmtime

Topic: wasmtime / issue #5256 Update `wasmi` to `0.20.0` in `was...

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

github-actions[bot] commented on issue #5256:

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing"

Thus the following users have been cc'd because of the following labels:

• fitzgen: fuzzing

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

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

alexcrichton commented on issue #5256:

Thanks! Would you be up for adding some cargo vet entries here? I can double-check them before merging to confirm.

Wasmtime GitHub notifications bot (Nov 14 2022 at 16:14):

Robbepop commented on issue #5256:

Thanks! Would you be up for adding some cargo vet entries here? I can double-check them before merging to confirm.

Sure, I will take a look how that works and will do.

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

Robbepop commented on issue #5256:

I updated the cargo-vet config file. According to https://mozilla.github.io/cargo-vet/built-in-criteria.html#safe-to-run it should be safe-to-run imo.

Last updated: Nov 22 2024 at 17:03 UTC