Skip to content

Move default number of jobs to its own function#5

Merged
maleadt merged 1 commit into
mainfrom
mg/default-njobs
Oct 9, 2025
Merged

Move default number of jobs to its own function#5
maleadt merged 1 commit into
mainfrom
mg/default-njobs