merge queue: embarking main (b7957c1) and [#38 + #39 + #40 + #41] together #42
Mergify / Mergify Merge Protections
completed
Jul 22, 2024 in 0s
Merge protections ignored
Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.
Loading