Clarify workflow name

The workflow performs two very unrelated tasks:
* Verify source code formatting
* Check Makefile.am sort order

diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index cedeef12696860e115cdc12db60b7e08fb22c383..e3ebcf1096476f08c25810bedd24494d2c843c0c 100644 (file)
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -1,5 +1,5 @@
 ---
-name: 'Verify formatting and Makefile.am sort order'
+name: 'Verify source code formatting; check Makefile.am sort order'
 
 on:
   push:
@@ -10,7 +10,7 @@ permissions: # least privileges, see https://docs.github.com/en/actions/using-wo
 
 jobs:
   build:
-    name: verify formatting and Makefile.am sort order
+    name: Verify source code formatting; check Makefile.am sort order
     # on a ubuntu-20.04 VM
     runs-on: ubuntu-20.04
     steps: