From 583cae282d1e343eb8e964ce3d89d21767f666cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sigbj=C3=B8rn=20Skj=C3=A6ret?= Date: Sun, 19 Oct 2025 13:10:04 +0200 Subject: [PATCH] ci : avoid manual updates of docs/ops.md --- .github/workflows/update-ops-docs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/update-ops-docs.yml b/.github/workflows/update-ops-docs.yml index c0218fa742173..d5e264b34f496 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'