The current run of Jenkins is broken as described in bug#255. The run always returns success, even though it is clear that the run did not complete successfully. While this merge request addresses the data that is used in the run, the script needs tweaking for it to return error when the run fails.