CI: shorten names

.github/workflows/build-image.yaml

@@ -1,4 +1,4 @@
-name: Build RPi image
+name: RPi image
 
 on:
   push:
@@ -9,7 +9,7 @@ on:
     types: [ created ]
 
 jobs:
-  build-image:
+  build:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2

.github/workflows/build.yml

@@ -7,14 +7,14 @@ on:
     branches: [ master ]
 
 jobs:
-  build-melodic:
+  melodic:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
       - name: Native Melodic build
         run: |
           docker run --rm -v $(pwd):/root/catkin_ws/src/clover ros:melodic-ros-base /root/catkin_ws/src/clover/builder/standalone-install.sh
-  build-noetic:
+  noetic:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2

.github/workflows/docs.yml

@@ -7,7 +7,7 @@ on:
     branches: [ master ]
 
 jobs:
-  documentation:
+  docs:
     runs-on: ubuntu-18.04
     steps:
       - uses: actions/checkout@v2

.github/workflows/editorconfig.yaml

@@ -1,4 +1,4 @@
-name: Editorconfig lint
+name: Editorconfig
 
 on:
   push: