diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2022-11-14 21:24:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-14 20:24:13 +0000 |
commit | 176f52fae74231497ec6b34e300d1ba7baf137a2 (patch) | |
tree | 9faa335c5d2ea8574ec72f95ca3327775d8b0133 | |
parent | 5b57f941b5ed95d55967bec08997882e5751bd88 (diff) | |
download | pylint-git-176f52fae74231497ec6b34e300d1ba7baf137a2.tar.gz |
Bump timeout for docs check [ci] (#7771)
-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 |