;ci: consistent workflow and file names

.github/workflows/binaries-linux-arm32v7-static.yml

@@ -4,7 +4,7 @@
 # Currently runs no tests.
 # Slow, will probably time out.
 
-name: linux-arm32v7 static binaries
+name: binaries-linux-arm32v7-static
 
 on:
   push:

.github/workflows/binaries-linux-x64-static.yml

@@ -3,7 +3,7 @@
 # using the GHC version below (9.0.2) and cabal.
 # Currently runs no tests.
 
-name: linux-x64 static binaries
+name: binaries-linux-x64-static
 
 on:
   push:

.github/workflows/binaries-mac-x64.yml

@@ -2,7 +2,7 @@
 # Produces optimised mac binaries and runs unit/doc/functional tests,
 # using the default stack.yaml's GHC version.
 
-name: mac-x64 tests and binaries
+name: binaries-mac-x64
 
 on:
   schedule:

.github/workflows/binaries-windows-x64.yml

@@ -3,7 +3,7 @@
 # using the default stack.yaml's GHC version.
 # Currently runs no tests.
 
-name: windows-x64 binaries
+name: binaries-windows-x64
 
 on:
   schedule:

.github/workflows/test-linux-x64.yml

@@ -5,7 +5,7 @@
 # and because why not having done all the work.
 # Merging to master requires that this workflow's jobs ("86" at least) have passed.
 
-name: linux-x64 CI tests and binaries
+name: test-linux-x64
 
 # This workflow runs...
 on: