Skip to content
Static Analysis

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PHPStan with result cache (8.3)
3m 36s
Generate baseline
1m 58s
PHPStan with result cache (8.2)
3m 38s
PHPStan with result cache (8.5)
3m 44s
Generate PHP baseline
1m 54s
PHPStan with result cache (8.4)
3m 36s
PHPStan (8.1, ubuntu-latest)
2m 26s
PHPStan (7.4, ubuntu-latest)
2m 37s
PHPStan (7.4, windows-latest)
4m 49s
PHPStan (8.0, windows-latest)
4m 21s
PHPStan (8.0, ubuntu-latest)
2m 21s
PHPStan (8.3, windows-latest)
3m 25s
PHPStan (8.1, windows-latest)
4m 32s
PHPStan (8.2, ubuntu-latest)
1m 53s
PHPStan (8.3, ubuntu-latest)
1m 57s
PHPStan (8.5, windows-latest)
3m 50s
PHPStan (8.5, ubuntu-latest)
1m 57s
PHPStan (8.2, windows-latest)
3m 44s
PHPStan (8.4, windows-latest)
3m 37s
PHPStan (8.4, ubuntu-latest)
1m 53s
1h 1m 48s