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!