From 5aa78f6f8f3d6da1bc3c2393b5395bfdb6ff30ea Mon Sep 17 00:00:00 2001 From: AlexWaygood Date: Mon, 2 Jan 2023 17:28:09 +0000 Subject: [PATCH] Shard `mypy_primer` more --- .github/workflows/mypy_primer.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/mypy_primer.yml b/.github/workflows/mypy_primer.yml index a167e18f3d6e..60ece9c62ca2 100644 --- a/.github/workflows/mypy_primer.yml +++ b/.github/workflows/mypy_primer.yml @@ -22,7 +22,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - shard-index: [0, 1, 2, 3] + shard-index: [0, 1, 2, 3, 4, 5] fail-fast: false steps: - uses: actions/checkout@v3 @@ -53,7 +53,7 @@ jobs: --custom-typeshed-repo typeshed_to_test \ --new-typeshed $GITHUB_SHA --old-typeshed upstream_main \ --additional-flags="--check-untyped-defs" \ - --num-shards 4 --shard-index ${{ matrix.shard-index }} \ + --num-shards 6 --shard-index ${{ matrix.shard-index }} \ --debug \ --output concise \ | tee diff_${{ matrix.shard-index }}.txt