Build doesn't start
I merged a commit (d3965870), but the Jenkins build doesn't start to update the website.
I waited for about 10 minutes, it used to be faster on previous days. https://www.eclipsestatus.io/ doesn't report any current problems.
Please have a look - thanks!