summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjvoisin2025-09-01 14:35:25 +0200
committerjvoisin2025-09-01 14:35:25 +0200
commit504efb24488c870a71afb434644fce972817b412 (patch)
treeae66fde3233a5fc38abe8203f7a02702ff30c9f1
parentf07344444d6d2f04a1f93e2954f4910b194bee0c (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.yml6
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
26linting:mypy:
27 image: $CONTAINER_REGISTRY:linting
28 stage: linting
29 script:
30 - mypy --ignore-missing-imports mat2 libmat2/*.py
31
32tests:archlinux: 26tests:archlinux:
33 image: $CONTAINER_REGISTRY:archlinux 27 image: $CONTAINER_REGISTRY:archlinux
34 stage: test 28 stage: test