Without this measure, a failed check is no longer detected.  This seems
to be a bug in gitlab CI.