From 17b1c6cb3dd431af2aac91bfb72b387da7d9d6a6 Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Tue, 12 Aug 2025 14:08:48 +0200 Subject: [PATCH] workflows/check: allow more time for check cherry picks job This currently times out after 3 minutes. Give it a bit more time. 10 minutes might be excessive, but we only really want to guard against a stuck job taking 6 hours. --- .github/workflows/check.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index c19c3b6e81ae..368a10eee78c 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -38,7 +38,7 @@ jobs: permissions: pull-requests: write runs-on: ubuntu-24.04-arm - timeout-minutes: 3 + timeout-minutes: 10 steps: - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 with: