From 6cdaf23d17b8641a7cc18ec6d920bd425acf35e6 Mon Sep 17 00:00:00 2001 From: Ayaz Salikhov Date: Wed, 26 Feb 2025 17:59:54 +0000 Subject: [PATCH] Mention dependent files in sphinx workflow --- .github/workflows/sphinx.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml index 53b1e767..875f3a2b 100644 --- a/.github/workflows/sphinx.yml +++ b/.github/workflows/sphinx.yml @@ -7,19 +7,35 @@ on: pull_request: paths: - ".github/workflows/sphinx.yml" + - "Makefile" - "docs/**" + + # Thse files are also rendered as docs pages - "README.md" - "CHANGELOG.md" + + # These files are used to generate some code snippets in the docs + - "tagging/manifests/apt_packages.py" + - "tagging/manifests/manifest_interface.py" + - "tagging/taggers/sha.py" + - "tagging/taggers/tagger_interface.py" push: branches: - main paths: - ".github/workflows/sphinx.yml" + - "Makefile" - "docs/**" + - "README.md" - "CHANGELOG.md" + + - "tagging/manifests/apt_packages.py" + - "tagging/manifests/manifest_interface.py" + - "tagging/taggers/sha.py" + - "tagging/taggers/tagger_interface.py" workflow_dispatch: jobs: