PR #2089 feat(lint): add two new linters

feat(lint): add two new linters #2089

mergify merged 8 commits into master from tc-linters

feat(lint): add two new linters

b279ecd6

remove `is_fast` from `has_coe_variable`

8ac1f9db

add link to note

8a38459a

typo in priority

a6d8c164

gebner commented on 2020-03-05

fpvandoorn added awaiting-author

fix error, implement comments

fb320f00

fpvandoorn removed awaiting-author

fpvandoorn added awaiting-review

kim-em approved these changes on 2020-03-07

kim-em removed awaiting-review

kim-em added ready-to-merge

Merge branch 'master' into tc-linters

604ce669

Merge branch 'master' into tc-linters

e52fbf77

Merge branch 'master' into tc-linters

312af052

mergify merged 726d83f1 into master 6 years ago

mergify deleted the tc-linters branch 6 years ago

Reviewers

kim-em

gebner

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone