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