Skip to content

fix(miner): fail acquire() on an attempt_id/repo mismatch - #8964

Merged
loopover-orb[bot] merged 1 commit into
JSONbored:mainfrom
jeffrey701:fix-8858-worktree-acquire-repo-mismatch
Jul 26, 2026
Merged

fix(miner): fail acquire() on an attempt_id/repo mismatch#8964
loopover-orb[bot] merged 1 commit into
JSONbored:mainfrom
jeffrey701:fix-8858-worktree-acquire-repo-mismatch

Commits

Commits on Jul 26, 2026