diff options
| -rw-r--r-- | .github/workflows/checks.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/checks.yaml b/.github/workflows/checks.yaml index a413e21bb..667cc3de1 100644 --- a/.github/workflows/checks.yaml +++ b/.github/workflows/checks.yaml @@ -161,7 +161,7 @@ jobs: documentation: name: documentation runs-on: ubuntu-latest - timeout-minutes: 10 + timeout-minutes: 20 needs: prepare-base steps: - name: Check out code from GitHub |