From 521fd9bcd1f43276aba723ddc171c54601499177 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. (cherry picked from commit 17b1c6cb3dd431af2aac91bfb72b387da7d9d6a6) --- .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 c19c3b6e81ae9..368a10eee78c0 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: