diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 8 |
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 | ||
| 21 | mypy: | ||
| 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 | |||
| 21 | tests: | 29 | tests: |
| 22 | stage: test | 30 | stage: test |
| 23 | script: | 31 | script: |
