Zulip Chat Archive
Stream: triage
Topic: issue #687: Linting tools
Random Issue Bot (Nov 08 2020 at 14:17):
Today I chose issue 687 for discussion!
Linting tools
Created by @Simon Hudon (@cipher1024) on 2019-02-05
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Bryan Gin-ge Chen (Nov 08 2020 at 19:16):
This one could potentially be closed in favor of #1924? It does mention using olean-rs, which I don't think enough of us learned how to use.
Random Issue Bot (Jan 10 2021 at 14:32):
Today I chose issue 687 for discussion!
Linting tools
Created by @Simon Hudon (@cipher1024) on 2019-02-05
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 18 2021 at 14:17):
Today I chose issue 687 for discussion!
Linting tools
Created by @Simon Hudon (@cipher1024) on 2019-02-05
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Dec 18 2021 at 14:50):
Boy have we made progress
Kevin Buzzard (Dec 18 2021 at 14:51):
This issue could be updated to contain a current wishlist of linters or could just be closed
Last updated: Dec 20 2023 at 11:08 UTC