rebased

.github/workflows/cost-model-benchmark.yml

@@ -1,7 +1,7 @@
 # This workflow runs the cost model benchmark and uploads the results as a 
 # GitHub artifact.
 
-name: ci
+name: "💰 Run Cost Model Benchmark" 
 
 on:
   workflow_dispatch:
@@ -12,8 +12,8 @@ on:
         type: string
 
 jobs:
-  cost-model-benchmark:
-    name: "💰 Cost Model Benchmark"
+  run:
+    name: Run
     runs-on: [self-hosted, plutus-benchmark]
     steps:
       - name: Checkout

.github/workflows/issue-labels.yml

@@ -1,4 +1,4 @@
-name: ci
+name: "🏷️ Check Issue Labels"
 
 on:
   pull_request:
@@ -8,8 +8,8 @@ jobs:
 
   # This job enforces that: either some changelog.d/** files were added by the 
   # PR, or the PR has the "No Changelog Required" label.  
-  check-changelog-label:
-    name: "🏷️ Check Changelog Label"
+  changelog-label:
+    name: "Changelog Label"
     runs-on: [ubuntu-latest]
     steps:
       - name: Checkout
@@ -61,8 +61,8 @@ jobs:
 
   # Whenever a new issue is opened, this job adds the "status: needs triage" 
   # label, unless the issue already has one of the INTERNAL_LABELS.
-  check-internal-labels:
-    name: "🏷️ Check Internal Labels"
+  internal-labels:
+    name: "Internal Labels"
     runs-on: [ubuntu-latest]
     permissions:
       issues: write

.github/workflows/longitudinal-benchmark.yml

@@ -7,7 +7,7 @@
 #
 # This is a performance regression check that is run on every push master.
 
-name: ci
+name: "🩺 Run Longitudinal Benchmark"
 
 on:
   push:
@@ -21,8 +21,8 @@ permissions:
   contents: write
 
 jobs:
-  longitudinal-benchmark:
-    name: "🩺 Longitudinal Benchmark"
+  run:
+    name: Run
     runs-on: [self-hosted, plutus-benchmark]
     steps:
       - name: Checkout 

.github/workflows/manual-benchmark.yml

@@ -3,15 +3,15 @@
 # Then this action will run the benchmark with the given NAME, first agains 
 # the current branch and then comparing the results against the master branch.
 
-name: ci
+name: "🚀 Run Manual Benchmark"
 
 on:
   issue_comment:
     types: [created]
 
 jobs:
-  manual-benchmark:
-    name: "🚀 Manual Benchmark"
+  run:
+    name: Run
     runs-on: [self-hosted, plutus-benchmark]
     permissions:
       pull-requests: write

.github/workflows/metatheory-site.yml

@@ -1,8 +1,7 @@
-# This workflow publishes the Agda metatheory site to:
-#   https://intersectmbo.github.io/plutus/metatheory/$version
-# Where $version should be a release version tag.
-# Optionally the $version branch can also be deployed to:
-#   https://intersectmbo.github.io/plutus/metatheory/latest  
+# This workflow builds and publishes the metatheory site to:
+# https://intersectmbo.github.io/plutus/metatheory/$version
+# And optionally to:
+# https://intersectmbo.github.io/plutus/metatheory/latest
 
 name: "🔮 Deploy Metatheory Site"
 

.github/workflows/nightly-testsuite.yml

@@ -1,6 +1,6 @@
 # This workflow runs the nightly plutus-core-test and plutus-ir-test test suite.
 
-name: ci
+name: "🌘 Run Nightly Tests"
 
 on:
   schedule:
@@ -17,8 +17,8 @@ env:
   HEDGEHOG_TESTS: ${{ github.event.inputs.hedgehog-tests || 100000 }}
 
 jobs:
-  nightly-testsuite:
-    name: "🌘 Nightly Test Suite"
+  run:
+    name: Run
     runs-on: [self-hosted, plutus-benchmark]
     steps:
       - name: Checkout

.github/workflows/plutus-tx-template.yml

@@ -5,14 +5,14 @@
 # Finally, it double-checks that everything still builds correctly using cabal
 # inside the devx shell.
 
-name: ci
+name: "🏛️ Build PlutusTx Template"
 
 on:
   pull_request:
 
 jobs:
-  plutus-tx-template:
-    name: "🏛️ Plutus Tx Template"
+  build:
+    name: Build
     runs-on: [ubuntu-latest]
     steps:
       - name: Checkout plutus-tx-template Repo