summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorjvoisin2018-06-04 22:54:01 +0200
committerjvoisin2018-06-04 23:20:30 +0200
commit6a1b0b31f0fbfa59a78a8b9f4f07bf9ed3f91cdf (patch)
treefdb8e31a7ad5bf6982cb8c11a2012205a0cfe14f /.gitlab-ci.yml
parent4ebf9754f84e28eb73a09df0f788b5be80c9c73e (diff)
Add more typing and use mypy in the CI
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml8
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 264b710..20426f6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,6 +18,14 @@ pyflakes:
18 - apt-get -qqy install --no-install-recommends pyflakes3 18 - apt-get -qqy install --no-install-recommends pyflakes3
19 - pyflakes3 ./libmat2 19 - pyflakes3 ./libmat2
20 20
21mypy:
22 stage: linting
23 script:
24 - apt-get -qqy update
25 - apt-get -qqy install --no-install-recommends python3-pip
26 - pip3 install mypy
27 - mypy mat2 libmat2/*.py --ignore-missing-imports
28
21tests: 29tests:
22 stage: test 30 stage: test
23 script: 31 script: