diff options
author | Florian Bruhin <me@the-compiler.org> | 2020-07-20 11:09:22 +0200 |
---|---|---|
committer | Florian Bruhin <me@the-compiler.org> | 2020-07-20 11:09:22 +0200 |
commit | 4bd883905f825f91d7f4eeb806909e852725d8ba (patch) | |
tree | bd9f0f3573a6a1096d366fef1257431287b84171 /.github | |
parent | 8e4dec2b6e8e6d04aa60bbb947a1bef3bc09e79d (diff) | |
download | qutebrowser-4bd883905f825f91d7f4eeb806909e852725d8ba.tar.gz qutebrowser-4bd883905f825f91d7f4eeb806909e852725d8ba.zip |
ci: Bump up timeouts for linters
For some reason, the cache can be pretty slow?
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 077a18e6f..5c4ac6dce 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,7 +6,7 @@ env: jobs: linters: - timeout-minutes: 5 + timeout-minutes: 10 runs-on: ubuntu-latest strategy: fail-fast: false |