rename (reran use_github_action("lint"))

UCD-SERG · Sep 26, 2024 · 1963c3c · 1963c3c
1 parent 7b901c2
commit 1963c3c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
@@ -6,7 +6,7 @@ on:
   pull_request:
     branches: [main, master]
 
-name: lint
+name: lint.yaml
 
 permissions: read-all