CI: emit cobertura artifact from only one job
I do not know what happens if multiple jobs declare
artifacts:reports:cobertura
. Maybe the last job to finish wins? Who
cares, Gitlab can only show the results from one cobertura report in the
MR diff view.
Recently, the MR diffs have the coverage annotations, but there was a time when they seemed to be missing. I don't know why.
Let's make sure the cobertura report Gitlab will use is from the "main" build only: 64-bit Debian with full features and gcc.
I do not move the after_script
, because maybe someone could have a
reason to look at arch-specific coverage reports, so I want to leave the
HTML there in the artifacts.