Skip to content
Static Analysis

Infer non-empty-ness after count($a) == count($b) #23612

Sign in to view logs

Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #23612

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Generate baseline
2m 7s
PHPStan with result cache (8.5)
3m 32s
PHPStan with result cache (8.2)
3m 30s
PHPStan with result cache (8.3)
3m 38s
PHPStan with result cache (8.4)
3m 27s
Generate PHP baseline
1m 57s
PHPStan (7.4, ubuntu-latest)
2m 33s
PHPStan (8.0, windows-latest)
4m 34s
PHPStan (8.2, ubuntu-latest)
1m 52s
PHPStan (8.1, ubuntu-latest)
2m 6s
PHPStan (8.1, windows-latest)
4m 44s
PHPStan (7.4, windows-latest)
4m 49s
PHPStan (8.4, windows-latest)
3m 30s
PHPStan (8.3, windows-latest)
3m 23s
PHPStan (8.5, ubuntu-latest)
1m 54s
PHPStan (8.4, ubuntu-latest)
1m 51s
PHPStan (8.3, ubuntu-latest)
1m 46s
PHPStan (8.2, windows-latest)
4m 17s
PHPStan (8.5, windows-latest)
3m 45s
PHPStan (8.0, ubuntu-latest)
2m 26s
1h 1m 41s