From: Sigbjørn Skjæret <redacted>
Date: Sun, 19 Oct 2025 12:03:25 +0000 (+0200)
Subject: ci : avoid manual updates of docs/ops.md (#16663)
X-Git-Tag: upstream/0.0.7011~213
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=cec5edbcaec69bbf6d5851cabce4ac148be41701;p=pkg%2Fggml%2Fsources%2Fllama.cpp

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 c0218fa7..d5e264b3 100644
--- 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'