Skip to content

merge queue: embarking main (f179c93) and [#151 + #152] together#158

Merged
mergify[bot] merged 4 commits into
mainfrom
mergify/merge-queue/fdb6aad7d9
May 20, 2025
Merged

merge queue: embarking main (f179c93) and [#151 + #152] together#158
mergify[bot] merged 4 commits into
mainfrom
mergify/merge-queue/fdb6aad7d9

Merge of #152

1703816
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Mergify / Mergify Merge Protections completed May 20, 2025 in 1s

Merge protections ignored

Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.