docs(lean,#15457): aérer les paragraphes-murs du README knot_lean (2 …

c85ec50

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

CodeQL on: dynamic

Analyze (actions)

Analyze (csharp)

Analyze (javascript-typescript)

Analyze (python)

check-links

fast-lane (ombre): perimeter-review-guard

fast-lane (ombre): prose-counts-guard

Quarto Pages Deploy on: pull_request 1

Build Quarto site

Validate Quarto build (PR)

Deploy to GitHub Pages

prose-counts-guard on: pull_request 1

prose-counts

Always-on guards on: pull_request 2

Always-on guards -- 12 organes, 1 checkout

notebook-link-render-check on: pull_request 2

check_notebook_link_render.py (advisory)

Pedagogy Density Advisory on: pull_request 1

Pedagogy density >= 1200 c/cell advisory (label, non-blocking)

Pedagogy density baseline orphan guard (#13815)

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

Catalog Drift Check on: pull_request 2

Notebook catalog drift (read-only)

Always-on metadata guards on: pull_request 1

Always-on metadata guards -- 3 organes, 1 checkout

Secret Scan on: pull_request 4

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

PR gate on: pull_request 1

PR gate

Code scanning results

CodeQL

perimeter-review-guard on: pull_request_review 1