[bot] Merge master/c24c5284 into rel/dev #1004

Job	Run time
Collect changes / collect-changes	8s
Python tests / lint-and-format-check	46s
Python tests / unit-tests (py39)	3m 1s
Python tests / types-check	1m 18s
Python tests / unit-tests (py313)	3m 26s
Python tests / unit-tests (py310)	3m 7s
Python tests / unit-tests (py311)	3m 12s
Python tests / unit-tests (py312)	3m 25s
status-check	3s
	18m 26s

Provide feedback