merge queue: embarking main (8f48d7a), #9769 and [#9766 + #9767 + #9768 + #9770 + #9773 + #9775] together#9778
Merged
mergify[bot] merged 14 commits intomainfrom Dec 29, 2025
Merged
Commits
Commits on Dec 25, 2025
- authored
- authored
- authored
- authored
- authored
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
Commits on Dec 26, 2025
Commits on Dec 29, 2025
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}