diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml index 2ab040bffe..c869e8a241 100644 --- a/.github/workflows/develop.yml +++ b/.github/workflows/develop.yml @@ -679,7 +679,7 @@ jobs: coverage: if: github.event_name == 'merge_group' - runs-on: ubuntu-24.04-arm + runs-on: ubuntu-20.04-8-cores timeout-minutes: 60 steps: - uses: actions/checkout@v4