Stream: git-wasmtime

Topic: wasmtime / PR #5708 Add some cargo-vet updates.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 04 2023 at 00:44):

cfallin opened PR #5708 from cargo-vet to main:

This is a cargo-vet commit I had pushed to #5550, cherry-picked out as a separate PR. It includes vets of updates/diffs for hashbrown and deps, and object and deps.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 04 2023 at 00:48):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 04 2023 at 00:52):

cfallin has enabled auto merge for PR #5708.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 04 2023 at 01:46):

cfallin merged PR #5708.

Last updated: Nov 22 2024 at 16:03 UTC