ci: Run mypy on the python tools
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4267>
This commit is contained in:
parent
674ebecd00
commit
276c4fa6c5
@ -106,7 +106,7 @@ variables:
|
|||||||
- .skip-git-clone
|
- .skip-git-clone
|
||||||
variables:
|
variables:
|
||||||
FDO_DISTRIBUTION_VERSION: 41
|
FDO_DISTRIBUTION_VERSION: 41
|
||||||
BASE_TAG: '2025-02-12.1'
|
BASE_TAG: '2025-02-13.0'
|
||||||
MUTTER_USER: 'meta-user'
|
MUTTER_USER: 'meta-user'
|
||||||
FDO_DISTRIBUTION_PACKAGES:
|
FDO_DISTRIBUTION_PACKAGES:
|
||||||
accountsservice-devel
|
accountsservice-devel
|
||||||
@ -127,6 +127,7 @@ variables:
|
|||||||
python3-dbusmock
|
python3-dbusmock
|
||||||
gnome-desktop-testing
|
gnome-desktop-testing
|
||||||
ruff
|
ruff
|
||||||
|
mypy
|
||||||
|
|
||||||
FDO_DISTRIBUTION_EXEC: |
|
FDO_DISTRIBUTION_EXEC: |
|
||||||
set -e
|
set -e
|
||||||
@ -384,6 +385,7 @@ check-python-code-style:
|
|||||||
script:
|
script:
|
||||||
- ruff format --line-length 80 --check $PYTHON_FILES
|
- ruff format --line-length 80 --check $PYTHON_FILES
|
||||||
- ruff check $PYTHON_FILES
|
- ruff check $PYTHON_FILES
|
||||||
|
- mypy $PYTHON_FILES
|
||||||
rules:
|
rules:
|
||||||
- !reference [.only-merge-requests, rules]
|
- !reference [.only-merge-requests, rules]
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user