Skip to content

chore: warn on unknown options#1865

Merged
mdjastrzebski merged 6 commits intomainfrom
chore/unknown-option-warning
Jan 15, 2026
Merged

chore: warn on unknown options#1865
mdjastrzebski merged 6 commits intomainfrom
chore/unknown-option-warning

Commits

Commits on Jan 15, 2026