From bbd7c456802624b98f6a19287660e2beed54f651 Mon Sep 17 00:00:00 2001
From: zeme <lorenzo.calegari@iohk.io>
Date: Fri, 21 Jun 2024 21:33:08 +0200
Subject: [PATCH] rebased

---
 .github/workflows/cost-model-benchmark.yml   |  6 +++---
 .github/workflows/issue-labels.yml           | 10 +++++-----
 .github/workflows/longitudinal-benchmark.yml |  6 +++---
 .github/workflows/manual-benchmark.yml       |  6 +++---
 .github/workflows/metatheory-site.yml        |  9 ++++-----
 .github/workflows/nightly-testsuite.yml      |  6 +++---
 .github/workflows/plutus-tx-template.yml     |  6 +++---
 7 files changed, 24 insertions(+), 25 deletions(-)

diff --git a/.github/workflows/cost-model-benchmark.yml b/.github/workflows/cost-model-benchmark.yml
index e68adfd5d3e..13261d2cdbe 100644
--- a/.github/workflows/cost-model-benchmark.yml
+++ b/.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
diff --git a/.github/workflows/issue-labels.yml b/.github/workflows/issue-labels.yml
index d2fee4634ef..f29f603c977 100644
--- a/.github/workflows/issue-labels.yml
+++ b/.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
diff --git a/.github/workflows/longitudinal-benchmark.yml b/.github/workflows/longitudinal-benchmark.yml
index d73df01091e..9eaa8a19fce 100644
--- a/.github/workflows/longitudinal-benchmark.yml
+++ b/.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 
diff --git a/.github/workflows/manual-benchmark.yml b/.github/workflows/manual-benchmark.yml
index 3798cf53aad..86f238d8c6d 100644
--- a/.github/workflows/manual-benchmark.yml
+++ b/.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
diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml
index ef2e6497076..502ec9fe87a 100644
--- a/.github/workflows/metatheory-site.yml
+++ b/.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"
 
diff --git a/.github/workflows/nightly-testsuite.yml b/.github/workflows/nightly-testsuite.yml
index 1fb0d8fdadf..cdb64de4ee5 100644
--- a/.github/workflows/nightly-testsuite.yml
+++ b/.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
diff --git a/.github/workflows/plutus-tx-template.yml b/.github/workflows/plutus-tx-template.yml
index cc21cde521c..3ae3a9d49ed 100644
--- a/.github/workflows/plutus-tx-template.yml
+++ b/.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