Zulip Chat Archive

Stream: triage

Topic: issue #687: Linting tools


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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?


Last updated: May 18 2021 at 22:15 UTC