summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorFlorian Bruhin <me@the-compiler.org>2020-07-20 11:09:22 +0200
committerFlorian Bruhin <me@the-compiler.org>2020-07-20 11:09:22 +0200
commit4bd883905f825f91d7f4eeb806909e852725d8ba (patch)
treebd9f0f3573a6a1096d366fef1257431287b84171 /.github
parent8e4dec2b6e8e6d04aa60bbb947a1bef3bc09e79d (diff)
downloadqutebrowser-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.yml2
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