docs workflow depends on process_docs script

ktmeaton · Aug 13, 2020 · ad119db · ad119db
1 parent a68cab7
commit ad119db
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: