From 14544601bcfcf027d6e476869d37bc842d9bdca0 Mon Sep 17 00:00:00 2001 From: Manuel <5673677+mtrezza@users.noreply.github.com> Date: Sun, 15 Sep 2024 14:25:20 +0200 Subject: [PATCH] ci: Increase timeout for lint (#1219) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7d0f3d54..a2289f35 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,7 +11,7 @@ on: jobs: check-lint: name: Lint - timeout-minutes: 5 + timeout-minutes: 10 runs-on: ubuntu-latest steps: - name: Fetch Sources