From b56ff764c2fc87fe547c8a30d35ad182709c08c6 Mon Sep 17 00:00:00 2001
From: Markus Hilger <markus.hilger@megware.com>
Date: Tue, 11 Aug 2026 05:50:55 +0200
Subject: [PATCH] Rename Pyrefly job

---
 .github/workflows/ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7aa90e5e..d85c044b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,7 +8,8 @@ permissions:
   contents: read
 
 jobs:
-  ShellCheck:
+  shellcheck:
+    name: ShellCheck
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v7
@@ -53,7 +54,7 @@ jobs:
           args: check --output-format=github
 
   pyrefly:
-    name: Pyrefly (async correctness)
+    name: Pyrefly
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v7