Hi,

On 13.06.2019 17:17, Michael Tremer wrote:
> Hello,
> 
> I just wanted to post you an update about the build system which we have recently merged.
> 
> ...

I'm bringing this thread up again because beginning with Core 136, I
notice a significant deceleration.

Last - clean - build from tonight:

...
Checking Logfiles for new Files
*** Build finished in 12:28:46
...

That's a new record. Build time with Core 135 was about 7-8 hours.

Is it the same for others?

Best,
Matthias