diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 7eeda87dd090..3932515513de 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -191,6 +191,7 @@ jobs: done publish-docs: + if: github.event_name == 'push' runs-on: ubuntu-latest needs: make_doc steps: