Skip to content

ci: blocking statement-fidelity (non-vacuity) gate on changed Lean files#17

Merged
Robby955 merged 1 commit into
mainfrom
ci/statement-fidelity-gate
Jun 24, 2026
Merged

ci: blocking statement-fidelity (non-vacuity) gate on changed Lean files#17
Robby955 merged 1 commit into
mainfrom
ci/statement-fidelity-gate

ci: add blocking statement-fidelity (non-vacuity) gate on changed Lea…

4f16c33
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar