diff --git a/src/Runner.php b/src/Runner.php index 7f65c5d225..65fad5ea06 100644 --- 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; }