Skip to content

Don't ignore default jobs = N in Werkfile#75

Merged
simonask merged 1 commit intomainfrom
default-num-jobs
Apr 27, 2025
Merged

Don't ignore default jobs = N in Werkfile#75
simonask merged 1 commit intomainfrom
default-num-jobs

Conversation

@simonask
Copy link
Owner

Closes #72

@simonask simonask merged commit 09e9dc6 into main Apr 27, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

jobs in Werkfile

1 participant

Comments