merge queue: embarking master (689e10d) and [#726 + #727] together #838
Triggered via pull request
August 5, 2025 01:13
mergify[bot]
mergify[bot]
opened
#728
Status
Success
Total duration
9s
Artifacts
–