Shorten workflow names for better badges

.github/workflows/check-dist.yml

@@ -3,7 +3,7 @@
 # `index.js` is the code that will run.
 # For our project, we generate this file using `ncc`
 # We need to make sure the checked-in `index.js` actually matches what we expect it to be.
-name: Check distributables
+name: Distributables
 
 on:
   push:

.github/workflows/check-formatting.yml

@@ -1,4 +1,4 @@
-name: Check formatting
+name: Formatting
 
 on:
   push:

.github/workflows/check-linter.yml

@@ -1,4 +1,4 @@
-name: Check linter
+name: Linting
 
 on:
   push:

.github/workflows/test.yml

@@ -1,4 +1,4 @@
-name: Run Tests
+name: Tests
 
 on:
   push: