travis: skip double linting