ci

Author: denisecase

.github/workflows/ci-lean.yml

@@ -40,20 +40,21 @@ jobs:
         # WHY: Needed to access files for checks.
         uses: actions/checkout@v6
 
-      - name: A2) Run pre-commit (all files)
+      - name: A2) Install uv
+        # WHY: The E2) se-validate-manifest pre-commit hook shells out to `uvx`,
+        #      which is NOT preinstalled on the runner.
+        uses: astral-sh/setup-uv@v8.1.0
+        with:
+          enable-cache: true # WHY: Cache uv downloads across runs.
+
+      - name: A3) Run pre-commit (all files)
         # WHY: Single source of truth for locally runnable quality gates.
         # OBS: Fails if hooks would modify files; does not commit changes.
-        id: precommit # WHY: Identify step for conditional follow-up. # WHY: Identify step for conditional follow-up.
+        id: precommit # WHY: Identify step for conditional follow-up.
         uses: pre-commit/action@v3.0.1
         with:
           extra_args: --all-files
 
-      - name: A2f) If pre-commit failed, run it locally
-        if: failure()
-        run: |
-          echo "## Pre-commit failed" >> "$GITHUB_STEP_SUMMARY"
-          echo "Please run pre-commit locally and commit the resulting changes." >> "$GITHUB_STEP_SUMMARY"
-
   build:
     name: Build Lean (compile)
     runs-on: ubuntu-latest

.pre-commit-config.yaml

@@ -96,6 +96,27 @@ repos:
       - id: check-case-conflict
         name: C3) Check for filename case conflicts
 
+  # === EXECUTE: UNIVERSAL SE REPOSITORY CHECKS ===
+
+  - repo: local
+    hooks:
+
+      - id: markdownlint
+        name: E1) Markdown lint
+        language: system
+        entry: npx markdownlint-cli2 --fix
+        pass_filenames: false
+        always_run: true
+
+      - id: se-validate-manifest
+        name: E2) Validate SE manifest against schema
+        language: system
+        entry: uvx --from se-manifest-schema se-manifest validate-manifest --strict
+        pass_filenames: false
+        always_run: true
+
+      # === EXECUTE: ADDITIONAL REPO SPECIFIC LOGIC ===
+
 # === GLOBAL SETTINGS ===
 # ALT: Set fail_fast to true to stop at first failure.
 fail_fast: false # Run all hooks even if one fails