Merge pull request #146 from eMoflon/hotfix/pde-workaround-v2 #579

Job	Run time
collect-github-api-artifacts	6s
create-splash-image	5s
build-linux-user	19m 25s
build-linux-dev	9m 34s
build-windows-user	21m 20s
build-macos-arm-user	9m 47s
build-macos-dev	21m 24s
build-macos-user	28m 1s
build-windows-dev	19m 23s
build-macos-dev-hipe	20m 4s
build-macos-arm-dev	14m 30s
build-macos-arm-dev-hipe	18m 0s
build-linux-user-ci	15m 18s
build-linux-dev-hipe	8m 33s
build-windows-dev-hipe	17m 29s
build-linux-dev-ci	13m 30s
create-release	0s
	3h 56m 29s

Provide feedback