diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 0965864220c6..da635f56c3c1 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -92,8 +92,8 @@ jobs: if: inputs.baseBranch && inputs.headBranch permissions: pull-requests: write - runs-on: ubuntu-slim - timeout-minutes: 3 + runs-on: ubuntu-24.04-arm + timeout-minutes: 8 steps: - uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3 with: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 3b743fe2e53a..b68b8738f13f 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -131,8 +131,8 @@ jobs: # Luckily there's no need to lint commit messages in the Merge Queue, because # changes to the target branch can't change commit messages on the base branch. if: ${{ github.event.pull_request.number }} - runs-on: ubuntu-slim - timeout-minutes: 5 + runs-on: ubuntu-24.04-arm + timeout-minutes: 8 steps: - uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3 with: