Unverified Commit 17b1c6cb authored by Wolfgang Walther's avatar Wolfgang Walther
Browse files

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.
parent e9cf094e

.github/workflows/check.yml

+1 −1
Original line number Diff line number Diff line
@@ -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: