Tweak workflow naming

Author: jackfirth

.github/workflows/ci.yml

@@ -1,10 +1,9 @@
-name: CI
+name: Build and Test
 
 on: [push, pull_request]
 
 jobs:
   ci:
-    name: "Build and Test"
     runs-on: ubuntu-latest
     if: ${{ github.event_name == 'pull_request' || github.actor != 'Copilot' }}
     steps:

.github/workflows/coverage.yml

@@ -4,7 +4,6 @@ on: [pull_request]
 
 jobs:
   code-coverage:
-    name: "Code Coverage"
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@master