Re: CI builds

[Jochen Kemnade]

Indeed. It took half a day to even start the last build. The build itself
was acceptably fast though.