workflows/check: allow more time for check cherry picks job (#433074)

This commit is contained in:
Wolfgang Walther 2025-08-12 17:14:14 +00:00 committed by GitHub
commit 01c648c54b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

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: