fix: small ci adjustments

Author: percevalw

.github/workflows/documentation.yml

@@ -24,5 +24,5 @@ jobs:
     - name: Build documentation
       run: |
         git fetch origin gh-pages
-        mike delete main
-        mike deploy --push main
+        uv run mike delete main
+        uv run mike deploy --push main

.github/workflows/tests.yml

@@ -10,6 +10,7 @@ env:
 
 jobs:
   Linting:
+    if: github.event_name == 'pull_request'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3