Fix: build docs on push

tvdijen · tvdijen · commit 53cd110fcf3f · 2022-07-14T22:17:22.000+02:00
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -37,8 +37,8 @@ jobs:
     runs-on: [ubuntu-latest]
 
     steps:
-      - name: Run docs build if any of markdown-files have changed
-        if: steps.changed-files-specific.outputs.any_changed == 'true' && github.event_name != 'pull_request'
+      - name: Run docs build
+        if: github.event_name != 'pull_request'
         uses: actions/github-script@v6
         with:
           # Token has to be generated on a user account that controls the docs-repository.
