mirror of
https://github.com/microsoft/pyright.git
synced 2024-09-17 11:17:17 +03:00
Changed mypy_primer PR script to use 2 shards (parallel action executions) rather than 1 to reduce wait times.
This commit is contained in:
parent
b0c4716f7b
commit
6de44b9237
4
.github/workflows/mypy_primer_pr.yaml
vendored
4
.github/workflows/mypy_primer_pr.yaml
vendored
@ -35,7 +35,7 @@ jobs:
|
|||||||
contents: read
|
contents: read
|
||||||
strategy:
|
strategy:
|
||||||
matrix:
|
matrix:
|
||||||
shard-index: [0]
|
shard-index: [0, 1]
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v3
|
- uses: actions/checkout@v3
|
||||||
@ -69,7 +69,7 @@ jobs:
|
|||||||
--repo pyright_to_test \
|
--repo pyright_to_test \
|
||||||
--type-checker pyright \
|
--type-checker pyright \
|
||||||
--new $GITHUB_SHA --old base_commit \
|
--new $GITHUB_SHA --old base_commit \
|
||||||
--num-shards 1 --shard-index ${{ matrix.shard-index }} \
|
--num-shards 2 --shard-index ${{ matrix.shard-index }} \
|
||||||
--debug \
|
--debug \
|
||||||
--output concise \
|
--output concise \
|
||||||
| tee diff_${{ matrix.shard-index }}.txt
|
| tee diff_${{ matrix.shard-index }}.txt
|
||||||
|
Loading…
Reference in New Issue
Block a user