From 53b8b227a82b88127bf9cc8c568ebd5ceac120dd Mon Sep 17 00:00:00 2001
From: codethief <git@codethief.eu>
Date: Mon, 22 Jun 2026 22:29:39 +0200
Subject: [PATCH] Add job names to pipeline checks

This is necessary so that we can require the PR checks to be green before a PR
can be merged.
---
 .github/workflows/checks.yml       | 3 +++
 .github/workflows/master.yml       | 1 +
 .github/workflows/pull-request.yml | 4 ++++
 3 files changed, 8 insertions(+)

diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
index 010caed..c34770f 100644
--- a/.github/workflows/checks.yml
+++ b/.github/workflows/checks.yml
@@ -9,6 +9,9 @@ on:
 permissions: {}
 
 jobs:
+  # Note: When changing job names here or adding/removing jobs, the master
+  # branch protection ruleset on Github must be adapted (i.e. which jobs need to
+  # pass for a PR to be able to be merged).
   check:
     name: Typecheck, test, lint, build
     runs-on: ubuntu-latest
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
index 07d5970..f5e59b1 100644
--- a/.github/workflows/master.yml
+++ b/.github/workflows/master.yml
@@ -12,6 +12,7 @@ permissions: {}
 
 jobs:
   checks:
+    name: Master pipeline checks
     uses: ./.github/workflows/checks.yml
     permissions: # ceiling for the called jobs (union of what they each need)
       contents: read
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index 01d9063..83ea874 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -9,6 +9,10 @@ permissions: {}
 
 jobs:
   checks:
+    name: PR pipeline checks
+    # ^This is the name of the job (or rather: the name prefix of the checks.yml
+    # jobs) we require in the master branch protection ruleset to pass before a
+    # PR can be merged.
     uses: ./.github/workflows/checks.yml
     permissions: # ceiling for the called jobs (union of what they each need)
       contents: read