diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index e850d3282..ec7603bb2 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -8,6 +8,7 @@ on: - '*' paths: - '.github/workflows/docs.yaml' + - 'scripts/process_docs.py' - 'docs/*' - 'README.md' pull_request: