Skip to content
Static Analysis

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Generate PHP baseline
1m 49s
Generate baseline
1m 49s
PHPStan with result cache (8.2)
3m 39s
PHPStan with result cache (8.3)
3m 24s
PHPStan with result cache (8.4)
3m 33s
PHPStan (7.4, windows-latest)
4m 26s
PHPStan with result cache (8.5)
3m 15s
PHPStan (8.0, windows-latest)
4m 14s
PHPStan (8.0, ubuntu-latest)
2m 16s
PHPStan (7.4, ubuntu-latest)
2m 37s
PHPStan (8.2, windows-latest)
3m 21s
PHPStan (8.1, windows-latest)
4m 15s
PHPStan (8.2, ubuntu-latest)
1m 58s
PHPStan (8.4, ubuntu-latest)
1m 53s
PHPStan (8.1, ubuntu-latest)
2m 14s
PHPStan (8.3, windows-latest)
3m 48s
PHPStan (8.3, ubuntu-latest)
1m 51s
PHPStan (8.5, windows-latest)
4m 13s
PHPStan (8.4, windows-latest)
3m 51s
PHPStan (8.5, ubuntu-latest)
1m 57s
1h 0m 23s