Stream: git-wasmtime

Topic: wasmtime / PR #8618 CI: Disable some extremely slow MIRI ...

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2024 at 18:36):

fitzgen opened PR #8618 from fitzgen:disable-slow-miri-tests to bytecodealliance:main:

Splitting this out from https://github.com/bytecodealliance/wasmtime/pull/8612

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2024 at 18:36):

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

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2024 at 18:36):

fitzgen requested elliottt for a review on PR #8618.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2024 at 18:58):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2024 at 18:58):

alexcrichton has enabled auto merge for PR #8618.

view this post on Zulip Wasmtime GitHub notifications bot (May 14 2024 at 19:21):

alexcrichton merged PR #8618.

Last updated: Nov 22 2024 at 16:03 UTC