Zulip Chat Archive

Stream: PR reviews

Topic: 3870 equiv/transfer_instances


view this post on Zulip Yury G. Kudryashov (Aug 22 2020 at 03:53):

@Scott Morrison This PR adds #lint at the end of data/equiv/transfer_instance. Is it intentional?

view this post on Zulip Anatole Dedecker (Aug 22 2020 at 09:21):

Would it be possible to modify the CI linter to report any #lint or #check ?

view this post on Zulip Bryan Gin-ge Chen (Aug 22 2020 at 09:26):

#3908

view this post on Zulip Reid Barton (Aug 22 2020 at 09:41):

haha, the #lint linter

view this post on Zulip Scott Morrison (Aug 22 2020 at 10:08):

Oops, sorry. Thanks for catching this.


Last updated: May 06 2021 at 11:23 UTC