Skip to content

feat(miner-hands): lint-guarded edit wrapper for coding-agent drivers (#4276) - #4486

Merged
JSONbored merged 2 commits into
JSONbored:mainfrom
joaovictor91123:feat/miner-lint-guard-4276
Jul 9, 2026
Merged

feat(miner-hands): lint-guarded edit wrapper for coding-agent drivers (#4276)#4486
JSONbored merged 2 commits into
JSONbored:mainfrom
joaovictor91123:feat/miner-lint-guard-4276

fix(miner-hands): wire lint guard into runCodingAgentAttempt (#4276)

3987ad0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view