feat(discrepancy,#17845): port Komlos.Tent from Dahia (buildable core)

6e45742

Select commit

Loading

Failed to load commit list.

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

CodeQL on: dynamic 4

Analyze (actions)

Analyze (csharp)

Analyze (javascript-typescript)

Analyze (python)

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

Lean Visibility Advisory on: pull_request 2

Lean visibility drift (advisory label, non-blocking)

Always-on guards on: pull_request 2

Always-on guards -- 16 organes, 1 checkout

Always-on metadata guards on: pull_request 1

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

Lean i18n sibling drift on: pull_request 1

i18n sibling drift

Local path waiver guard on: pull_request 2

No local-path waiver bodies

Secret Scan on: pull_request 5

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

Assert secret egress guard (#17276)

PR gate on: pull_request 2

PR gate

Pedagogy Density Advisory on: pull_request 2

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

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

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

Lean CI Matrix on: pull_request 4

lean-matrix-changes

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

lean-matrix / Lean CI (discrepancy_lean)

Code scanning results

CodeQL