Keep statistics visible when @retry is further wrapped (fixes #519)#653
Merged
mergify[bot] merged 2 commits intoJul 11, 2026
Merged
Mergify / Mergify Merge Queue
succeeded
Jul 11, 2026 in 9s
Merged via merge queue
- ✅ Entered queue —
2026-07-11 20:25 UTC· Rule:default· triggered by ruleautoqueue - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-07-11 20:26 UTC· atefbe866eacbcf3195c97470ac6ad13a9e7128780· squash
This pull request spent 7 seconds in the queue, including 1 second running CI.
Required conditions to merge
github-review-approved[🛡 GitHub branch protection]
Loading