Adds --cores option to limit to `num_cores`#19

Merged

grunch merged 1 commit intogrunch:mainfrom kdmukai:specify_num_cores

Jan 12, 2023

+19-7

Commits on Jan 10, 2023

Adds --cores option to limit to num_cores
kdmukai
committed