Build Eclipse eMoflon #431

Job	Run time
create-splash-image	4s
collect-github-api-artifacts	7s
build-linux-user-ci	14m 15s
build-linux-dev-ci	12m 45s
build-macos-dev	12m 1s
build-linux-dev	16m 16s
build-linux-user	10m 11s
build-macos-dev-hipe	8m 47s
build-macos-user	15m 33s
build-windows-dev	17m 51s
build-windows-dev-hipe	15m 38s
build-windows-user	19m 39s
build-linux-dev-hipe	7m 59s
create-release	0s
	2h 31m 6s

Provide feedback