Skip to content

fail when the cli is given an unknown option - #339

Merged
0xShug0 merged 2 commits into
0xShug0:mainfrom
avionicharshit-byte:fix/warn-on-unused-cli-args
Aug 29, 2026
Merged

fail when the cli is given an unknown option#339
0xShug0 merged 2 commits into
0xShug0:mainfrom
avionicharshit-byte:fix/warn-on-unused-cli-args

make an unknown cli option a hard error, checked before the run

912088c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Nix (vulkan)
succeeded Aug 29, 2026 in 16m 16s