Skip locked/coverage CI jobs on docs-only changes (#1918)

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

.github/workflows/coverage.yml

@@ -2,6 +2,8 @@ name: coverage
 
 on:
   pull_request:
+    paths-ignore:
+      - 'docs/**'
 
   workflow_dispatch:
 

.github/workflows/locked.yml

@@ -2,7 +2,11 @@ name: locked
 
 on:
   push:
+    paths-ignore:
+      - 'docs/**'
   pull_request:
+    paths-ignore:
+      - 'docs/**'
 
   workflow_dispatch:
 

.github/workflows/unlocked.yml

@@ -2,6 +2,8 @@ name: unlocked
 
 on:
   # pull_request: # save CI time on PRs, run manually if needed (before merge) or find out failures from scheduled run (after merge)
+  #   paths-ignore:
+  #     - 'docs/**'
   workflow_dispatch:
 
   schedule: