Skip to content

feat(miner-concurrency): add git-worktree-per-attempt pool allocator (#4297) - #4598

Merged
JSONbored merged 1 commit into
JSONbored:mainfrom
dhgoal:feat/miner-worktree-pool
Jul 10, 2026
Merged

feat(miner-concurrency): add git-worktree-per-attempt pool allocator (#4297)#4598
JSONbored merged 1 commit into
JSONbored:mainfrom
dhgoal:feat/miner-worktree-pool

feat(miner-concurrency): add git-worktree-per-attempt pool allocator …

fc177e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build UI preview artifact
succeeded Jul 10, 2026 in 52s