From dc9413ce7141c2032cf76d96258b8aaeda3c8f9b Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Thu, 8 Jun 2023 23:23:47 -0600 Subject: [PATCH] Fixed style issue. --- .github/workflows/mypy_primer_pr.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mypy_primer_pr.yaml b/.github/workflows/mypy_primer_pr.yaml index 62dd03ad7..0109e6a8d 100644 --- a/.github/workflows/mypy_primer_pr.yaml +++ b/.github/workflows/mypy_primer_pr.yaml @@ -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