Run docs lint only on PRs

Gate lint job to pull_request events and remove lint as a publish dependency so scheduled/push refreshes only require build.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: MariusStorhaug

.github/workflows/Docs.yml

@@ -30,6 +30,7 @@ permissions:
 jobs:
   lint:
     name: Lint
+    if: github.event_name == 'pull_request'
     runs-on: ubuntu-24.04
     permissions:
       contents: read
@@ -94,7 +95,7 @@ jobs:
 
   publish:
     name: Publish
-    needs: [build, lint]
+    needs: [build]
     if: github.event_name != 'pull_request'
     runs-on: ubuntu-24.04
     environment: