Skip to content

Pre-docs cleanup: unify terminology and tighten the lint gate - #276

Merged
kozlov721 merged 47 commits into
mainfrom
chore/pre-docs-cleanup
Aug 30, 2026
Merged

Pre-docs cleanup: unify terminology and tighten the lint gate#276
kozlov721 merged 47 commits into
mainfrom
chore/pre-docs-cleanup

Keep a boolean benchmark option out of the coercion

fb13769
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar