merge queue: embarking main (6edc16b) and [#120 + #121] together #122
Mergify / Mergify Merge Protections
completed
Dec 6, 2024 in 0s
Merge protections ignored
Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.
Loading