CI: change build name and export short SHA to cdash

3 jobs for !449 with ci_build_names in 31 minutes and 10 seconds (queued for 2 seconds)
detached
Status Job ID Name Coverage
  Build
passed #1540
build:ubuntu-llvm

00:31:05

passed #1539
debian-build

00:26:22

passed #1538
native-build

00:31:10