ci: use make lint in the PR workflow

Author: akhundMurad

.github/workflows/pr.yml

@@ -34,7 +34,7 @@ jobs:
 
       - name: Run linters
         run: |
-          make check-linting
+          make lint
 
   test:
     runs-on: ubuntu-latest