FIX to make CI@gitlab happy again

1 job for master in 43 seconds (queued for 7 seconds)
latest