Merge branch 'main' into test-dependency-lower-bounds

Author: ValerianRey

.github/workflows/checks.yml

@@ -126,7 +126,7 @@ jobs:
           groups: check test plot
 
       - name: Run ty
-        run: uv run ty check
+        run: uv run ty check --output-format=github
 
   check-todos:
     name: Absence of TODOs