Fixes #4335 #4338
Merged
Fixes #4335 #4338
Mergify / Mergify Merge Queue
succeeded
Jun 5, 2026 in 9m 28s
Merged via merge queue
- ✅ Entered queue —
2026-06-05 05:51 UTC· Rule:default - ✅ Checks passed · in-place
- ✅ Merged —
2026-06-05 06:01 UTC· atb1f4a25c01101a894cc54ed02c7a6d42707ba002· rebase
This pull request spent 9 minutes 25 seconds in the queue, including 8 minutes 8 seconds running CI.
Required conditions to merge
-
status-success=pr-complete
Loading