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 17b1c6cb3d)
This commit is contained in:
Wolfgang Walther
2025-08-12 14:08:48 +02:00
committed by github-actions[bot]
parent 0d01183e46
commit 521fd9bcd1

View File

@@ -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: