chore(aqua-registry): remove unused aqua-registry files - #6294
Merged
Cursor / Cursor Bugbot
completed
Sep 13, 2025 in 1m 56s
Bugbot Review
Bugbot Analysis Progress (1m 58s elapsed)
✅ Gathered PR context (3s)
✅ Analyzed code changes (0s)
✅ Completed bug detection — 1 potential bug found (1m 49s)
✅ Validation and filtering completed (0s)
✅ Posted analysis results — 1 bug reported (6s)
✅ Analysis completed successfully (0s)
Final Result: Bugbot completed review and found 1 potential issue
Request ID: serverGenReqId_e7feda5b-407b-45d5-9c1f-36b6a8b1e868
Details
Loading