Stream: git-wasmtime

Topic: wasmtime / PR #14640 Optimize CI timings slightly


view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2026 at 21:08):

alexcrichton opened PR #14640 from alexcrichton:opt-ci-a-bit to bytecodealliance:main:

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

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

Please review the Bytecode Alliance's AI tool usage policy at
https://github.com/bytecodealliance/governance/blob/main/AI_TOOL_POLICY.md

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

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2026 at 21:08):

alexcrichton requested pchickey for a review on PR #14640.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2026 at 21:08):

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

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2026 at 21:08):

alexcrichton requested fitzgen for a review on PR #14640.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2026 at 21:08):

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

view this post on Zulip Wasmtime GitHub notifications bot (Oct 12 2026 at 18:04):

:thumbs_up: pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 12 2026 at 18:05):

pchickey added PR #14640 Optimize CI timings slightly to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 12 2026 at 18:27):

:check: pchickey merged PR #14640.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 12 2026 at 18:27):

pchickey removed PR #14640 Optimize CI timings slightly from the merge queue.


Last updated: Oct 31 2026 at 23:03 UTC