From 4775719abf147e80455e2e59c225b07dd5f6efa7 Mon Sep 17 00:00:00 2001 From: David Peter Date: Tue, 22 Apr 2025 17:36:13 +0200 Subject: [PATCH] [red-knot] mypy_primer: larger depot runner (#17547) ## Summary A switch from 16 to 32 cores reduces the `mypy_primer` CI time from 3.5-4 min to 2.5-3 min. There's also a 64-core runner, but the 4 min -> 3 min change when doubling the cores once does suggest that it doesn't parallelize *this* well. --- .github/actionlint.yaml | 1 + .github/workflows/mypy_primer.yaml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/actionlint.yaml b/.github/actionlint.yaml index f86b551af8..c3464e3992 100644 --- a/.github/actionlint.yaml +++ b/.github/actionlint.yaml @@ -6,5 +6,6 @@ self-hosted-runner: labels: - depot-ubuntu-latest-8 - depot-ubuntu-22.04-16 + - depot-ubuntu-22.04-32 - github-windows-2025-x86_64-8 - github-windows-2025-x86_64-16 diff --git a/.github/workflows/mypy_primer.yaml b/.github/workflows/mypy_primer.yaml index 7382671f11..dab2bd4c84 100644 --- a/.github/workflows/mypy_primer.yaml +++ b/.github/workflows/mypy_primer.yaml @@ -26,7 +26,7 @@ env: jobs: mypy_primer: name: Run mypy_primer - runs-on: depot-ubuntu-22.04-16 + runs-on: depot-ubuntu-22.04-32 timeout-minutes: 20 steps: - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2