chore: gha: Add linter run to PR checks

alephdata · Dec 21, 2023 · be34319 · be34319
1 parent 1ec7969
commit be34319
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -1,4 +1,4 @@
-name: Check formatting
+name: Run linter & formatting check
 
 on:
   pull_request:
@@ -18,3 +18,6 @@ jobs:
 
       - name: Check code formatting
         run: make format-check
+
+      - name: Run linter
+        run: make lint