Fixing the coverage not being interpreted by gitlab

Added the coverage keyword to the build step, with the regex of the total coverage line.

assigned to @ydayer

enabled an automatic merge when the pipeline for aa7ba15e succeeds

canceled the automatic merge

added 6 commits

• aa7ba15e...5535cb3b - 5 commits from branch master
• f3d1d3d6 - [cov] Adding a coverage keyword with regex.

Compare with previous version

enabled an automatic merge when the pipeline for f3d1d3d6 succeeds

merged

mentioned in commit 740a6ad2