diff options
author | Christoph Reiter <reiter.christoph@gmail.com> | 2021-01-25 10:30:13 +0100 |
---|---|---|
committer | Christoph Reiter <reiter.christoph@gmail.com> | 2021-01-25 10:30:13 +0100 |
commit | 7352b59dd32db47f336b8aad474cdaa024ca2580 (patch) | |
tree | 0cdd2182877a6aa013be87a127392f3636547e44 /.gitlab-ci.yml | |
parent | d46e38b9e208e10c6db1ac07fdd75bba7baeaaf1 (diff) | |
download | gobject-introspection-7352b59dd32db47f336b8aad474cdaa024ca2580.tar.gz |
CI: pin mypy for now
The latest release (0.800) finds a handful of new problems that need
to be addressed first.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 55c320c9..10124cb5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -56,7 +56,7 @@ fedora-x86_64-meson: - cd .. - mkdir -p public - mv _build/docs/reference/html/ public/girepository/ - - python3 -m pip install --user flake8 mypy + - python3 -m pip install --user flake8 mypy==0.790 - python3 -m flake8 --count - python3 -m mypy . except: |