Zulip Chat Archive

Stream: triage

Topic: issue #5863: Make linters emit messages in a way that's u...


Random Issue Bot (Jan 09 2022 at 14:17):

Today I chose issue 5863 for discussion!

Make linters emit messages in a way that's understood by GitHub
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2021-01-23
Labels: CI, feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Alex J. Best (Jan 10 2022 at 02:56):

Triage bot inspired me, so I made a first pass on this at #11345

Alex J. Best (Jan 10 2022 at 17:21):

This is now ready for review, but probably doesn't come up on the queue as it has intentional linter failures so that reviewers can check how the annotations come out


Last updated: Dec 20 2023 at 11:08 UTC