Skip to content

Autoharness argument validation: only error on --quiet if --list was passed - #4069

Merged
tautschnig merged 1 commit into
model-checking:mainfrom
carolynzech:autoharness-list-args
May 15, 2025
Merged

Autoharness argument validation: only error on --quiet if --list was passed#4069
tautschnig merged 1 commit into
model-checking:mainfrom
carolynzech:autoharness-list-args

only error on --quiet for autoharness if --list was passed

ea3a6ae
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs