mathlib3
feat(lint): run some linters on automatically generated declarations
#2090

Merged

feat(lint): run some linters on automatically generated declarations #2090

mergify merged 10 commits into master from linter-auto-decl

style(lint): remove double periods

70303027

run some linters on automatically generated declarations

a295cc4f

fix doc string

28fb13a8

gebner commented on 2020-03-05

fix mk_nolint

ffab5f5f

fix test

1f1ef6ba

fix linter errors

ea8ad33d

cipher1024 assigned

gebner 6 years ago

Merge branch 'master' into linter-auto-decl

263db794

robertylewis approved these changes on 2020-03-16

robertylewis added ready-to-merge

fix linter errors

24fabbf0

Merge branch 'master' into linter-auto-decl

9ca94503

Merge branch 'master' into linter-auto-decl

5c809edf

mergify merged e94fef01 into master 6 years ago

mergify deleted the linter-auto-decl branch 6 years ago

Reviewers

robertylewis

gebner

Assignees

gebner

Labels

ready-to-merge

Milestone

No milestone