chore: change name of python lint action (#12968)

2026-09-01 21:11:28 +00:00 · 2021-02-05 12:54:37 -08:00
parent 2456a2eb99
commit 0d1b59eb86
1 changed files with 1 additions and 1 deletions
@@ -9,7 +9,7 @@ on:
    types: [synchronize, opened, reopened, ready_for_review]

 jobs:
-  lint:
+  python-lint:
    if: github.event.pull_request.draft == false
    runs-on: ubuntu-20.04
    strategy: