Stream: git-wasmtime

Topic: wasmtime / PR #8675 Add linting and formatting for JS cod...

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

fitzgen opened PR #8675 from fitzgen:explore-js-formatting-and-linting to bytecodealliance:main:

So we don't have to discuss stylistic nitpicks in PRs that change the JS used in wasmtime explore anymore.

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

fitzgen requested pchickey for a review on PR #8675.

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

fitzgen requested wasmtime-default-reviewers for a review on PR #8675.

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

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

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

alexcrichton submitted PR review.

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

alexcrichton created PR review comment:

Mind adding this to main.yml so we can gate on the result of this?

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

alexcrichton submitted PR review.

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

fitzgen updated PR #8675.

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

fitzgen has enabled auto merge for PR #8675.

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

fitzgen merged PR #8675.

Last updated: Nov 22 2024 at 17:03 UTC