merge queue: embarking main (a396804) and [#164 + #165] together #166
Mergify / Mergify Merge Protections
completed
May 30, 2025 in 1s
Merge protections ignored
Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.
Loading