Fix duplicate lint

This commit is contained in:
Ivan Tomilov 2017-10-25 16:36:03 +03:00
parent 96212b912c
commit 53cea066e7
1 changed files with 0 additions and 2 deletions

View File

@ -16,8 +16,6 @@ install:
jobs:
include:
- stage: lint
script: make lint
- stage: Lint
script: make lint
- stage: Test unit and integration