mathlib3
feat(.travis): add linting to CI
#1606
Merged

feat(.travis): add linting to CI #1606

mergify merged 2 commits into master from travis_lint
robertylewis
robertylewis robertylewis added blocked-by-other-PR
robertylewis robertylewis force pushed from d5b46644 to 8c3e528b 6 years ago
robertylewis robertylewis force pushed from 4d007bc6 to ab47a5e7 6 years ago
robertylewis robertylewis removed blocked-by-other-PR
robertylewis robertylewis added awaiting-review
robertylewis robertylewis added RFC
robertylewis feat(.travis.yml): add linting to test stage
bb21e659
robertylewis robertylewis force pushed from 216fa163 to bb21e659 6 years ago
robertylewis
fpvandoorn
robertylewis
fpvandoorn fpvandoorn removed awaiting-review
fpvandoorn fpvandoorn added ready-to-merge
fpvandoorn
fpvandoorn approved these changes on 2019-10-30
mergify[bot] Merge branch 'master' into travis_lint
dd4fd375
mergify mergify merged d43f7f9c into master 6 years ago
mergify mergify deleted the travis_lint branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone