Run docs build on PRs too

rikhuijzer · Oct 22, 2023 · 08afa1f · 08afa1f
1 parent 33f2ca5
commit 08afa1f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
@@ -12,7 +12,7 @@ jobs:
   BuildAndDeploy:
     name: Documentation
     runs-on: ubuntu-latest
-    timeout-minutes: 20
+    timeout-minutes: 30
     steps:
       - uses: actions/checkout@v3
       - uses: julia-actions/setup-julia@v1
@@ -23,7 +23,6 @@ jobs:
           cache-name: 'docs'
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-docdeploy@v1
-        if: ${{ github.event_name != 'pull_request' }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}