🌱 Run lint in a separate ci job

Before this commit, the linting was done in the test matrix (once per python
version). This is not necessary, as the linting is the same for all versions.

Now, the linting is fully delegated to pre-commit, and executed as a separate
job.

.github/workflows/test.yml

@@ -13,6 +13,15 @@ on:
     - cron: "0 0 * * 1"
 
 jobs:
+  pre-commit:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.10"
+      - uses: pre-commit/action@v3.0.1
+
   test:
     runs-on: ubuntu-latest
     strategy:
@@ -40,8 +49,6 @@ jobs:
       - name: Install Dependencies
         if: steps.cache.outputs.cache-hit != 'true'
         run: pip install -r requirements-tests.txt
-      - name: Lint
-        run: bash scripts/lint.sh
       - run: mkdir coverage
       - run: bash ./scripts/test-files.sh
       - name: Test

requirements-tests.txt

@@ -5,5 +5,3 @@ pytest-cov >=2.10.0,<5.0.0
 coverage[toml] >=6.2,<8.0
 pytest-xdist >=1.32.0,<4.0.0
 pytest-sugar >=0.9.4,<0.10.0
-mypy ==1.4.1
-ruff ==0.2.0