https://bugs.kde.org/show_bug.cgi?id=476522
--- Comment #10 from Michael Brown <produ...@holotronic.dk> --- @Oded Arbel Thank you for your info. However I'm curious as how the merge already can be in the pipeline as the original PR was build successfully but the PR then needed to be force pushed several times and then the final PR merge build ended up in a failed state ? https://ci.eclipse.org/releng/job/eclipse.platform.swt/job/PR-863/lastBuild/console -- You are receiving this mail because: You are watching all bug changes.
