Stream: git-wasmtime

Topic: wasmtime / PR #8584 Make the min-platform build script wo...

Wasmtime GitHub notifications bot (May 08 2024 at 16:16):

fitzgen requested elliottt for a review on PR #8584.

Wasmtime GitHub notifications bot (May 08 2024 at 16:16):

fitzgen requested wasmtime-core-reviewers for a review on PR #8584.

Wasmtime GitHub notifications bot (May 08 2024 at 16:16):

fitzgen opened PR #8584 from fitzgen:make-min-platform-build-work-from-other-dirs to bytecodealliance:main:

Annoying to have to cd to the directory first before running the build scripts.

<!--
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 (May 08 2024 at 16:32):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (May 08 2024 at 16:34):

fitzgen updated PR #8584.

Wasmtime GitHub notifications bot (May 08 2024 at 16:34):

fitzgen has enabled auto merge for PR #8584.

Wasmtime GitHub notifications bot (May 08 2024 at 17:37):

fitzgen updated PR #8584.

Wasmtime GitHub notifications bot (May 08 2024 at 17:37):

fitzgen has enabled auto merge for PR #8584.

Wasmtime GitHub notifications bot (May 08 2024 at 18:17):

fitzgen merged PR #8584.

Last updated: Dec 23 2024 at 12:05 UTC