mathlib3
feat(lint): add priority test for instances that always apply
#1625

Merged

feat(lint): add priority test for instances that always apply #1625

mergify merged 8 commits into master from new_lint

fpvandoorn added awaiting-review

fpvandoorn added blocked-by-other-PR

feat(lint): add priority test for instances that always apply

299467aa

update doc

1fdaec73

add priorities to linters

ed26fa02

always run tests in the extra set

e73d89d5

fpvandoorn force pushed from acbd1976 to e73d89d5 6 years ago

fpvandoorn removed blocked-by-other-PR

cipher1024 commented on 2019-10-28

move some more declarations from coinductive_predicates to expr

93ad4f26

robertylewis commented on 2019-10-29

robertylewis removed awaiting-review

robertylewis added awaiting-author

reviewer comments

9fbb286b

fpvandoorn removed awaiting-author

fpvandoorn added awaiting-review

remove unsafe prefixes

ef18550e

robertylewis approved these changes on 2019-10-31

robertylewis removed awaiting-review

robertylewis added ready-to-merge

Merge branch 'master' into new_lint

3d01c9d0

mergify merged 1710fd8b into master 6 years ago

mergify deleted the new_lint branch 6 years ago

Reviewers

robertylewis

kim-em

rwbarton

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone