diff --git a/script/cibuild b/script/cibuild index 8e42be6c039..eb3aca82f75 100755 --- a/script/cibuild +++ b/script/cibuild @@ -11,6 +11,7 @@ SOURCE_ROOT = os.path.abspath(os.path.dirname(os.path.dirname(__file__))) def main(): run_script('bootstrap.py') run_script('cpplint.py') + run_script('pylint.py') run_script('build.py') run_script('test.py', ['--ci']) run_script('create-dist.py')