Skip to content
Static Analysis

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PHPStan with result cache (8.4)
3m 33s
PHPStan with result cache (8.3)
3m 43s
Generate PHP baseline
2m 2s
PHPStan with result cache (8.5)
3m 42s
Generate baseline
1m 49s
PHPStan (7.4, ubuntu-latest)
2m 31s
PHPStan (8.2, windows-latest)
4m 7s
PHPStan (8.1, ubuntu-latest)
2m 11s
PHPStan (8.1, windows-latest)
4m 27s
PHPStan (8.0, windows-latest)
4m 27s
PHPStan (8.2, ubuntu-latest)
1m 48s
PHPStan (7.4, windows-latest)
4m 44s
PHPStan (8.4, ubuntu-latest)
1m 56s
PHPStan (8.0, ubuntu-latest)
2m 11s
PHPStan (8.3, windows-latest)
3m 30s
PHPStan (8.3, ubuntu-latest)
1m 56s
PHPStan (8.4, windows-latest)
4m 58s
PHPStan (8.5, ubuntu-latest)
1m 53s
PHPStan with result cache (8.2)
3m 30s
PHPStan (8.5, windows-latest)
3m 31s
1h 2m 29s