diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index ac667b45e2..8372725ccd 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -240,6 +240,7 @@ jobs: run: | php build-infection/bin/infection-config.php \ --source-directory='build/PHPStan/Build' \ + --timeout=500 \ > infection.json5 cat infection.json5 | jq