Skip to content

fix(completion): a failed source cleanup is a failure, not a success - #9

Merged
mbreissi merged 2 commits into
mainfrom
fix/cleanup-failure-not-success
Aug 23, 2026
Merged

fix(completion): a failed source cleanup is a failure, not a success#9
mbreissi merged 2 commits into
mainfrom
fix/cleanup-failure-not-success

fix(completion): retry a locked source file instead of parking it

8ffeb20
Select commit
Loading
Failed to load commit list.