Zulip Chat Archive
Stream: PR reviews
Topic: 3870 equiv/transfer_instances
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?
Anatole Dedecker (Aug 22 2020 at 09:21):
Would it be possible to modify the CI linter to report any #lint or #check ?
Bryan Gin-ge Chen (Aug 22 2020 at 09:26):
Reid Barton (Aug 22 2020 at 09:41):
haha, the #lint linter
Scott Morrison (Aug 22 2020 at 10:08):
Oops, sorry. Thanks for catching this.
Last updated: Dec 20 2023 at 11:08 UTC