Skip to content

Generation max_workers defaults to None if omitted from config file#435

Merged
ppinchuk merged 3 commits intomainfrom pp/gen_mw_defaultNov 22, 2023

Commits

Commits on Nov 21, 2023