diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 67359138d..cf8f88e52 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -118,5 +118,4 @@ jobs:
           key: std-docs-main
       - run: git config --global --add safe.directory $PWD
       - name: Deploy the documentation
-        if: steps.changes.outputs.docs == 'true'
         run: make std-docs/publish