ci : avoid manual updates of docs/ops.md (ggml-org#16663)

CISC · web-flow · commit cec5edbcaec6 · 2025-10-19T14:03:25.000+02:00
diff --git a/.github/workflows/update-ops-docs.yml b/.github/workflows/update-ops-docs.yml
@@ -3,10 +3,12 @@ name: Update Operations Documentation
 on:
     push:
         paths:
+            - 'docs/ops.md'
             - 'docs/ops/**'
             - 'scripts/create_ops_docs.py'
     pull_request:
         paths:
+            - 'docs/ops.md'
             - 'docs/ops/**'
             - 'scripts/create_ops_docs.py'
 
