Don't spawn a task per file to include, use a pool of tasks instead#225
Open
Drvi wants to merge 6 commits into
Open
Don't spawn a task per file to include, use a pool of tasks instead#225Drvi wants to merge 6 commits into
Drvi wants to merge 6 commits into
Commits
Commits on Sep 16, 2025
Commits on Sep 20, 2025
- committed
- committed
Commits on Sep 28, 2025
- committed
Commits on Oct 2, 2025
- committed