diff options
| author | jvoisin | 2025-09-01 14:35:25 +0200 |
|---|---|---|
| committer | jvoisin | 2025-09-01 14:35:25 +0200 |
| commit | 504efb24488c870a71afb434644fce972817b412 (patch) | |
| tree | ae66fde3233a5fc38abe8203f7a02702ff30c9f1 | |
| parent | f07344444d6d2f04a1f93e2954f4910b194bee0c (diff) | |
Remove mypy from the CI
It has always been useless a best, and a nuisance most of the times.
| -rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 93844d7..c3b78a0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -23,12 +23,6 @@ linting:ruff: | |||
| 23 | - pip3 install ruff | 23 | - pip3 install ruff |
| 24 | - ruff check . | 24 | - ruff check . |
| 25 | 25 | ||
| 26 | linting:mypy: | ||
| 27 | image: $CONTAINER_REGISTRY:linting | ||
| 28 | stage: linting | ||
| 29 | script: | ||
| 30 | - mypy --ignore-missing-imports mat2 libmat2/*.py | ||
| 31 | |||
| 32 | tests:archlinux: | 26 | tests:archlinux: |
| 33 | image: $CONTAINER_REGISTRY:archlinux | 27 | image: $CONTAINER_REGISTRY:archlinux |
| 34 | stage: test | 28 | stage: test |
