Stream: git-wasmtime

Topic: wasmtime / PR #9342 Merge `wasmtime-types` into `wasmtime...

Wasmtime GitHub notifications bot (Oct 01 2024 at 00:33):

alexcrichton opened PR #9342 from alexcrichton:merge-wasmtime-types to bytecodealliance:main:

The only reason that this was originally split out was because cranelift-wasm depended on wasmtime-types. Now that cranelift-wasm has been merged into wasmtime-cranelift there's no need any longer to maintain this split. This commit merges the wasmtime-types crate back into wasmtime-environ.

<!--
Please make sure you include the following information:

• If this work has been discussed elsewhere, please include a link to that
  conversation. If it was discussed in an issue, just mention "issue #...".

• Explain why this change is needed. If the details are in an issue already,
  this can be brief.

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

Wasmtime GitHub notifications bot (Oct 01 2024 at 00:33):

alexcrichton requested elliottt for a review on PR #9342.

Wasmtime GitHub notifications bot (Oct 01 2024 at 00:33):

alexcrichton requested wasmtime-core-reviewers for a review on PR #9342.

Wasmtime GitHub notifications bot (Oct 01 2024 at 00:33):

alexcrichton requested wasmtime-default-reviewers for a review on PR #9342.

Wasmtime GitHub notifications bot (Oct 02 2024 at 00:13):

abrown submitted PR review.

Wasmtime GitHub notifications bot (Oct 02 2024 at 00:13):

abrown has enabled auto merge for PR #9342.

Wasmtime GitHub notifications bot (Oct 02 2024 at 00:28):

abrown merged PR #9342.

Last updated: Dec 23 2024 at 12:05 UTC