diff --git a/.github/workflows/devdocs.yml b/.github/workflows/devdocs.yml index 515d6f5bee7..b150cda2946 100644 --- a/.github/workflows/devdocs.yml +++ b/.github/workflows/devdocs.yml @@ -4,6 +4,7 @@ on: push: paths: - 'docs/**' + - 'mkdocs.yml' jobs: build_and_deploy: