Skip to content

Autoharness: verify harnesses in parallel by default - #4705

Open
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:autoharness-parallel
Open

Autoharness: verify harnesses in parallel by default#4705
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:autoharness-parallel