Fix: compteurs residuels README Grothendieck (l.116 leaf 82->83, l.27…

ab10ca0

Select commit

Loading

Failed to load commit list.

Uh oh!

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

CodeQL on: dynamic 4

Analyze (actions)

Analyze (csharp)

Analyze (javascript-typescript)

Analyze (python)

Link-label agreement (per-notebook, advisory)

check-links

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

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

Lean i18n sibling drift on: pull_request 1

i18n sibling drift

Paragraph Length Advisory on: pull_request 2

Paragraph length > 2000 chars advisory (label, non-blocking)

Always-on metadata guards on: pull_request 2

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

notebook-link-render-check on: pull_request 2

check_notebook_link_render.py (advisory)

Always-on guards on: pull_request 2

Always-on guards -- 15 organes, 1 checkout

Markdown table syntax advisory on: pull_request 1

Markdown table syntax advisory (label, non-blocking)

Catalog Drift Check on: pull_request 2

Notebook catalog drift (read-only, advisory)

Secret Scan on: pull_request 5

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

Assert secret egress guard (#17276)

Lean Visibility Advisory on: pull_request 2

Lean visibility drift (advisory label, non-blocking)

Mermaid Fill Color Advisory on: pull_request 2

Mermaid fill-without-color advisory (label, non-blocking)

PR gate on: pull_request 3

PR gate

Quarto Pages Deploy on: pull_request 1

Build Quarto site

Validate Quarto build (PR)

Deploy to GitHub Pages

Local path waiver guard on: pull_request 2

No local-path waiver bodies

Pedagogy Density Advisory on: pull_request 2

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

Pedagogy density baseline orphan guard (#13815, #16122)

prose-counts-guard on: pull_request 1

prose-counts

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

Lean Grothendieck CI on: pull_request 3

ci / Lean CI (grothendieck_lean)

ci / Lean CI (${{ matrix.display-name }})

proof-integrity

Always-on metadata guards on: pull_request 1

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

Paragraph Length Advisory on: pull_request 1

Paragraph length > 2000 chars advisory (label, non-blocking)

Lean Visibility Advisory on: pull_request 2

Lean visibility drift (advisory label, non-blocking)

Always-on guards on: pull_request 1

Always-on guards -- 15 organes, 1 checkout

Mermaid Fill Color Advisory on: pull_request 1

Mermaid fill-without-color advisory (label, non-blocking)

Lean Grothendieck CI on: pull_request 4

ci / Lean CI (grothendieck_lean)

ci / Lean CI (${{ matrix.display-name }})

proof-integrity / Proof integrity (grothendieck_lean)

Code scanning results

CodeQL

Fix: compteurs residuels README Grothendieck (l.116 leaf 82->83, l.27…

Uh oh!

Select a check to view from the sidebar