From 504efb24488c870a71afb434644fce972817b412 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Mon, 1 Sep 2025 14:35:25 +0200
Subject: Remove mypy from the CI

It has always been useless a best, and a nuisance most of the times.
---
 .gitlab-ci.yml | 6 ------
 1 file changed, 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:
     - pip3 install ruff
     - ruff check .
 
-linting:mypy:
-  image: $CONTAINER_REGISTRY:linting
-  stage: linting
-  script:
-    - mypy --ignore-missing-imports mat2 libmat2/*.py
-
 tests:archlinux:
   image: $CONTAINER_REGISTRY:archlinux
   stage: test
-- 
cgit v1.3