Continue to the next file when an ignored file is found when running …

…checks in parallel. This fixes #3317.
squizlabs · Apr 23, 2021 · c2e3ba3 · c2e3ba3
1 parent 2e5e295
commit c2e3ba3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Runner.php b/src/Runner.php
@@ -483,6 +483,7 @@ private function run()
                         $file = $todo->current();
 
                         if ($file->ignored === true) {
+                            $todo->next();
                             continue;
                         }