diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml index a39fafa..84f98e9 100644 --- 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 }}