ci: Skip merge queue if pull request is up-to-date #3786
Merged
Cursor / Cursor Bugbot
completed
Dec 19, 2025 in 6m 23s
Bugbot Review
Bugbot Analysis Progress (6m 25s elapsed)
✅ Gathered PR context (2s)
✅ Analyzed code changes (1s)
✅ Completed bug detection — 1 potential bug found (6m 18s)
✅ Validation and filtering completed (1s)
✅ Posted analysis results — 1 bug reported (4s)
✅ Analysis completed successfully (0s)
Final Result: Bugbot completed review and found 1 potential issue
Request ID: serverGenReqId_1ed8ca7c-a403-4df8-97d4-ffc5131785f9
Details
Loading