CI: change build name and export short SHA to cdash
Small change to new CI:
- the build names always start with the
ref_name
- if there is an associated MR 42, we add
(MR 42)
- the short sha1 of the revision appears in the column
Revision
in CDash
Small change to new CI:
ref_name
(MR 42)
Revision
in CDash