Skip to content
Back to pull request #3081

Fix substr() type narrowing for maybe one-length result #15495

Sign in to view logs

Fix substr() type narrowing for maybe one-length result

Fix substr() type narrowing for maybe one-length result #15495

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Generate baseline
1m 18s
PHPStan (7.2, ubuntu-latest)
1m 50s
PHPStan with result cache (8.1)
2m 31s
PHPStan (7.2, windows-latest)
3m 15s
PHPStan (7.3, ubuntu-latest)
1m 42s
PHPStan with result cache (8.2)
2m 25s
Generate PHP baseline
1m 22s
PHPStan (7.3, windows-latest)
3m 4s
PHPStan with result cache (8.3)
2m 25s
PHPStan (7.4, ubuntu-latest)
1m 35s
PHPStan (7.4, windows-latest)
2m 47s
PHPStan (8.0, ubuntu-latest)
1m 24s
PHPStan (8.0, windows-latest)
3m 10s
PHPStan (8.1, ubuntu-latest)
1m 17s
PHPStan (8.1, windows-latest)
2m 32s
PHPStan (8.2, ubuntu-latest)
1m 19s
PHPStan (8.2, windows-latest)
2m 34s
PHPStan (8.3, ubuntu-latest)
1m 23s
PHPStan (8.3, windows-latest)
2m 31s
40m 24s