Skip to content

Check lean: targets, non-root axioms and a kernel replay in the CI audit - #139

Closed
Deicyde wants to merge 2 commits into
open-statements-revisionfrom
fix/strict-audit-lean-targets
Closed

Check lean: targets, non-root axioms and a kernel replay in the CI audit#139
Deicyde wants to merge 2 commits into
open-statements-revisionfrom
fix/strict-audit-lean-targets

Commits

  1. Commits on Oct 5, 2026