From abe1941abfd5d0be8517f1a1a8de8ccd2ad0766b Mon Sep 17 00:00:00 2001
From: mathieui <mathieui@mathieui.net>
Date: Sun, 27 Oct 2019 14:51:27 +0100
Subject: CI: add a linting stage, and put mypy in there

Obviously failing at the moment.
---
 .gitlab-ci.yml | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 42b02c1b..722e881f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,5 @@
 stages:
+  - lint
   - test
   - build
 
@@ -31,7 +32,7 @@ build-ubuntu:
     - master
 
 security-check:
-  stage: test
+  stage: lint
   image: python:3
   script:
     - pip3 install safety
@@ -78,7 +79,7 @@ pytest-latest:
     - py.test -v test/
 
 pylint-latest:
-  stage: test
+  stage: lint
   image: python:3
   script:
     - apt-get update && apt-get install -y libidn11-dev
@@ -91,7 +92,7 @@ pylint-latest:
     - pylint -E poezio
 
 pylint-plugins:
-  stage: test
+  stage: lint
   image: python:3
   allow_failure: true
   script:
@@ -101,3 +102,11 @@ pylint-plugins:
     - pip3 install -r requirements-plugins.txt
     - python3 setup.py install
     - pylint -E plugins
+
+mypyc:
+  stage: lint
+  image: python:3
+  allow_failure: true
+  script:
+    - pip3 install mypy
+    - mypyc --ignore-missing-imports ./poezio
-- 
cgit v1.2.3