ci: add Mergify configuration#3
Merged
mergify[bot] merged 1 commit intoJun 23, 2026
Merged
Mergify / Mergify Merge Queue
succeeded
Jun 23, 2026 in 50s
Merged via merge queue
- ✅ Entered queue —
2026-06-23 12:54 UTC· Rule:default· triggered by the@mergifyio queuecommand - ✅ Checks passed · on draft #4
- ✅ Merged —
2026-06-23 12:55 UTC· at71c4787405515b9e67efd5ff24fa935667306c29
This pull request spent 47 seconds in the queue, including 7 seconds running CI.
Required conditions to merge
Loading