mirror of
https://github.com/microsoft/pyright.git
synced 2024-09-11 07:55:56 +03:00
One more try
This commit is contained in:
parent
54b2ebc96d
commit
495ce99d27
2
.github/workflows/mypy_primer_pr.yaml
vendored
2
.github/workflows/mypy_primer_pr.yaml
vendored
@ -72,7 +72,7 @@ jobs:
|
||||
--num-shards 8 --shard-index ${{ matrix.shard-index }} \
|
||||
--debug \
|
||||
--output concise \
|
||||
--additional-flags "--threads" \
|
||||
--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
@ -56,7 +56,7 @@ jobs:
|
||||
--new $GITHUB_SHA \
|
||||
--debug \
|
||||
--output concise \
|
||||
--additional-flags "--threads" \
|
||||
--additional-flags --threads \
|
||||
| tee diff.txt
|
||||
) || [ $? -eq 1 ]
|
||||
- name: Upload mypy_primer diff
|
||||
|
Loading…
Reference in New Issue
Block a user