CI: Only lint the diff, not all files

Author: Jacob-Stevens-Haas

.github/workflows/main.yml

@@ -23,7 +23,7 @@ jobs:
       - name: Linting
         run: |
           pip install pre-commit
-          pre-commit run --all-files
+          pre-commit run --from-ref ${{ github.base_ref }} --to-ref ${{ github.head_ref }}
 
   build:
     name: Build