mirror of
https://github.com/microsoft/pyright.git
synced 2024-09-11 07:55:56 +03:00
Fixed style issue.
This commit is contained in:
parent
71f0f77afc
commit
dc9413ce71
2
.github/workflows/mypy_primer_pr.yaml
vendored
2
.github/workflows/mypy_primer_pr.yaml
vendored
@ -5,7 +5,7 @@
|
||||
# creates a PR comment with the results (with the help of the
|
||||
# mypy_primer_comment action).
|
||||
|
||||
# This workflow definition borrows liberally from the mypy repo. The original
|
||||
# This workflow definition borrows liberally from the mypy repo. The original
|
||||
# workflow was designed to work in a sharded manner where n copies of
|
||||
# mypy_primer are started in parallel. Each instance runs 1/n of the projects.
|
||||
# For now, we run only one instance because pyright is fast, and the number
|
||||
|
Loading…
Reference in New Issue
Block a user