From a753a135357486210c24bb9c8bc291ef48fc242b Mon Sep 17 00:00:00 2001
From: David Perl <david.perl@psi.ch>
Date: Thu, 6 Aug 2026 17:33:22 +0200
Subject: [PATCH] ci: add more linting steps

---
 .gitea/workflows/ci.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
index 7289d28..50c525b 100644
--- a/.gitea/workflows/ci.yml
+++ b/.gitea/workflows/ci.yml
@@ -22,6 +22,23 @@ jobs:
           source .venv/bin/activate
           ruff format --check
 
+      - name: Lint
+        run: |
+          source .venv/bin/activate
+          ruff check
+
+      - name: Checkout pyright diff plugin
+        uses: https://github.com/actions/checkout@v5
+        with:
+          repository: mx/diff_quality_basedpyright
+          path: diff_quality_basedpyright
+
+      - name: Typecheck Diff
+        run: |
+          source .venv/bin/activate
+          uv pip install -e diff_quality_basedpyright
+          diff-quality --violations=basedpyright --fail-under=100
+
   test:
     runs-on: ubuntu-latest
     needs: "lint"