[bot] Merge master/0f5fd497 into rel/dev #1264

Job	Run time
Collect changes / collect-changes	8s
Python tests / lint-and-format-check	24s
Python tests / unit-tests (py314)	2m 40s
Python tests / unit-tests (py311)	3m 14s
Python tests / types-check	32s
Python tests / unit-tests (py310)	3m 18s
Python tests / unit-tests (py312)	2m 34s
Python tests / unit-tests (py313)	2m 36s
status-check	2s
	15m 28s

Provide feedback