ci: properly set the job name in CPU stats#63634

Merged

bors merged 1 commit intorust-lang:masterfrom pietroalbini:cpu-stats-name

Aug 16, 2019

+1-1

Commits on Aug 16, 2019

ci: properly set the job name in CPU stats
pietroalbini
committed