[CI] fix a few cosmetic issues

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
4 jobs for add-rhel8-build-ci in 0 seconds (queued for 10 seconds)