Merge branch 'main' into feature/update-eclipse-2024-12 #523

Job	Run time
create-splash-image	13s
collect-github-api-artifacts	3s
build-linux-user-ci	8m 55s
build-linux-dev-ci	8m 26s
build-linux-dev	8m 39s
build-linux-user	9m 29s
build-linux-dev-hipe	8m 57s
build-macos-arm-dev	20m 58s
build-macos-arm-dev-hipe	12m 38s
build-macos-arm-user	16m 13s
build-macos-dev	24m 13s
build-macos-dev-hipe	14m 36s
build-macos-user	25m 48s
build-windows-dev	19m 3s
build-windows-dev-hipe	18m 28s
build-windows-user	11m 50s
create-release	0s
	3h 28m 29s

Provide feedback