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