Rename Pyrefly job

2026-09-01 15:06:06 +00:00 · 2026-08-11 05:50:55 +02:00
parent 47cfa70097
commit b56ff764c2
1 changed files with 3 additions and 2 deletions
@@ -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