rename workflow

codecov · May 6, 2024 · 06dd8c8 · 06dd8c8
1 parent 2a09af1
commit 06dd8c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
@@ -1,5 +1,5 @@
 
-name: Run Lint
+name: Patch typing check
 
 on:
   workflow_call: