mirror of
https://github.com/microsoft/pyright.git
synced 2024-10-26 10:55:06 +03:00
Another try at passing the "--threads" flag to mypy_primer.
This commit is contained in:
parent
045753f275
commit
1572f63ac0
2
.github/workflows/mypy_primer_pr.yaml
vendored
2
.github/workflows/mypy_primer_pr.yaml
vendored
@ -66,13 +66,13 @@ jobs:
|
||||
# fail action if exit code isn't zero or one
|
||||
(
|
||||
mypy_primer \
|
||||
--pyright_cmd "{pyright} --threads" \
|
||||
--repo pyright_to_test \
|
||||
--type-checker pyright \
|
||||
--new $GITHUB_SHA --old base_commit \
|
||||
--num-shards 8 --shard-index ${{ matrix.shard-index }} \
|
||||
--debug \
|
||||
--output concise \
|
||||
--additional-flags [--threads] \
|
||||
| tee diff_${{ matrix.shard-index }}.txt
|
||||
) || [ $? -eq 1 ]
|
||||
- name: Upload mypy_primer diff
|
||||
|
2
.github/workflows/mypy_primer_push.yaml
vendored
2
.github/workflows/mypy_primer_push.yaml
vendored
@ -51,12 +51,12 @@ jobs:
|
||||
# fail action if exit code isn't zero or one
|
||||
(
|
||||
mypy_primer \
|
||||
--pyright_cmd "{pyright} --threads" \
|
||||
--repo pyright_to_test \
|
||||
--type-checker pyright \
|
||||
--new $GITHUB_SHA \
|
||||
--debug \
|
||||
--output concise \
|
||||
--additional-flags [--threads] \
|
||||
| tee diff.txt
|
||||
) || [ $? -eq 1 ]
|
||||
- name: Upload mypy_primer diff
|
||||
|
Loading…
Reference in New Issue
Block a user