Repository navigation
Move max_default_jobs to default_njobs - #212
Closed
christiangnrd wants to merge 1 commit into
Closed
christiangnrd wants to merge 1 commit into
christiangnrd wants to merge 1 commit into
Commits
Commits on Oct 27, 2026