diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2022-11-14 21:24:13 +0100 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-11-17 14:03:15 +0100 |
commit | ff159a6a5b6b1d0df5bd85af49386f440a5ded45 (patch) | |
tree | b31202bd36d7acfaf58e89a920bf66c8e404d873 /.github | |
parent | 9df5e8a46174a7ce621947e9f5b403dc8bdbfa65 (diff) | |
download | pylint-git-ff159a6a5b6b1d0df5bd85af49386f440a5ded45.tar.gz |
Bump timeout for docs check [ci] (#7771)
Diffstat (limited to '.github')
-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 |