diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0e5d3e55..1f7e4f10 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -2,6 +2,7 @@ name: docs on: push: + pull_request: jobs: Build_docs: