;ci: more renames

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

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

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

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

.github/workflows/linux-x64-test.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: main CI
+name: linux-x64 CI tests and binaries
 
 # This workflow runs...
 on:

.github/workflows/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 CI binaries
+name: mac-x64 tests and binaries
 
 on:
   schedule:

.github/workflows/windows-x64.yml

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