Refactor CI workflow to improve dependency management and add type-ch…

…ecking and linting jobs

.github/workflows/check.yml

@@ -6,29 +6,32 @@ on:
   push:
 
 jobs:
-  consistency:
+  dependencies:
     runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        python-version: ["3.12"]
-      fail-fast: false
     steps:
       - name: Check out
         uses: actions/checkout@v4
 
       - name: Install uv
         uses: astral-sh/setup-uv@v4
-        with:
-          python-version: ${{ matrix.python-version }}
 
       - name: Check lock file consistency
         run: uv sync --locked
 
+  type-checking:
+    runs-on: ubuntu-latest
+    needs: dependencies
+    steps:
       - name: Type-checking (mypy)
         run: uv run mypy
 
+  lint:
+    runs-on: ubuntu-latest
+    needs: dependencies
+    steps:
       - name: Linter (ruff check)
-        run: uv run ruff check
+        run: uv run ruff check --output-format=github
 
       - name: Formatter (ruff format)
-        run: uv run ruff format --check
+        run: uv run ruff format --diff
+        continue-on-error: true