merge queue: embarking main (dbdb4be) and [#7580 + #7587] together#7596

Closed

mergify[bot] wants to merge 4 commits intomainfrom mergify/merge-queue/82de9443e3

+17-2

Commits on Sep 18, 2023

fix(ci): handle tee trying to write to a closed pipe
gustavovalverde
committed

Commits on Sep 19, 2023

Fix a subtree comparison edge case
teor2345
committed

Commits on Sep 20, 2023