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

diff --git a/.github/workflows/update-ops-docs.yml b/.github/workflows/update-ops-docs.yml
index c0218fa7421735e014151d73cf30b44379fde84c..d5e264b34f4963670641e7dcb1fe40a4a14e2aa2 100644 (file)
--- 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'