Rename more stuff (shorten CI titles)

Author: joshuanianji

.github/workflows/ci.yml

@@ -18,7 +18,7 @@ on:
 
 jobs:
   base-build-test:
-    name: Base Build/Test - ${{ matrix.idris-version }}
+    name: Base Build & Test - ${{ matrix.idris-version }}
     strategy:
       matrix:
         idris-version: ["v0.5.1", "v0.6.0", "v0.7.0", "latest"]
@@ -43,7 +43,7 @@ jobs:
     secrets: inherit
 
   devcontainer-build-test:
-    name: Devcontainer Build/Test - ${{ matrix.idris-lsp-version }}
+    name: Devcontainer Build & Test - ${{ matrix.idris-lsp-version }}
     needs: [base-build-test] # needs cached base builds
     strategy:
       matrix:

.github/workflows/version-base-build-test.yml

@@ -107,7 +107,7 @@ jobs:
   # "consumer" images just "consume" the base image and do nothing else
   # basic tests for these
   consumer-build-test:
-    name: Build Consumer - ${{ matrix.dockerfile }}
+    name: Build Consumer
     runs-on: ubuntu-latest
     needs: [base-test-1, base-test-2]
     strategy:

.github/workflows/version-base-deploy.yml

@@ -13,7 +13,7 @@ permissions:
 
 jobs:
   deploy-base:
-    name: Deploy Base - ${{ inputs.idris-version }}
+    name: Deploy Base
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo
@@ -55,7 +55,7 @@ jobs:
           platforms: linux/amd64,linux/arm64
 
   deploy-consumers:
-    name: Deploy Consumer - ${{ matrix.dockerfile }} ${{ inputs.idris-version }}
+    name: Deploy Consumer
     runs-on: ubuntu-latest
     strategy:
       matrix:

.github/workflows/version-devcontainer-build-test.yml

@@ -16,7 +16,7 @@ permissions:
 
 jobs:
   devcontainer-build-test:
-    name: Build Devcontainer - ${{ inputs.idris-lsp-version }}
+    name: Build & Test
     runs-on: ubuntu-latest
     services:
       registry:

.github/workflows/version-devcontainer-deploy.yml

@@ -16,7 +16,7 @@ permissions:
 
 jobs:
   deploy-devcontainer:
-    name: Deploy Devcontainer - ${{ inputs.idris-lsp-version }}
+    name: Deploy
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo