The current CI configuration builds the code and reports if that was
successful. This at least prevents broken builds in the repository.