Skip to content
Static Analysis

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PHPStan with result cache (8.5)
3m 27s
PHPStan with result cache (8.4)
3m 32s
Generate PHP baseline
2m 1s
PHPStan with result cache (8.2)
3m 37s
Generate baseline
1m 55s
PHPStan with result cache (8.3)
3m 41s
PHPStan (7.4, ubuntu-latest)
2m 43s
PHPStan (8.3, ubuntu-latest)
1m 55s
PHPStan (8.2, ubuntu-latest)
2m 12s
PHPStan (8.5, windows-latest)
3m 31s
PHPStan (8.4, ubuntu-latest)
2m 3s
PHPStan (8.3, windows-latest)
3m 39s
PHPStan (8.2, windows-latest)
3m 51s
PHPStan (8.1, ubuntu-latest)
2m 21s
PHPStan (8.5, ubuntu-latest)
1m 57s
PHPStan (8.0, windows-latest)
4m 36s
PHPStan (8.0, ubuntu-latest)
2m 23s
PHPStan (8.1, windows-latest)
4m 41s
PHPStan (7.4, windows-latest)
4m 42s
PHPStan (8.4, windows-latest)
3m 21s
1h 2m 8s