Lazier return in UnionType->isSuperTypeOf() (~40% faster)
#19074
Triggered via pull request
November 30, 2024 07:04
staabm
Status
Cancelled
Total duration
1m 40s
Artifacts
–
static-analysis.yml
on: pull_request
Generate baseline
34s
Generate PHP baseline
33s
Matrix: PHPStan with result cache
Matrix: PHPStan
Annotations
36 errors
|
PHPStan (8.0, windows-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.0, windows-latest)
The operation was canceled.
|
|
PHPStan (8.1, windows-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.1, windows-latest)
The operation was canceled.
|
|
PHPStan (8.2, windows-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.2, windows-latest)
The operation was canceled.
|
|
PHPStan (7.4, windows-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (7.4, windows-latest)
The operation was canceled.
|
|
PHPStan (7.4, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (7.4, ubuntu-latest)
The operation was canceled.
|
|
PHPStan (8.3, windows-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.3, windows-latest)
The operation was canceled.
|
|
PHPStan (8.4, windows-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.4, windows-latest)
The operation was canceled.
|
|
PHPStan (8.1, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.1, ubuntu-latest)
The operation was canceled.
|
|
PHPStan (8.0, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.0, ubuntu-latest)
The operation was canceled.
|
|
PHPStan with result cache (8.4)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan with result cache (8.4)
The operation was canceled.
|
|
Generate baseline
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
Generate baseline
The operation was canceled.
|
|
Generate PHP baseline
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
Generate PHP baseline
The operation was canceled.
|
|
PHPStan (8.2, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.2, ubuntu-latest)
The operation was canceled.
|
|
PHPStan (8.3, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.3, ubuntu-latest)
The operation was canceled.
|
|
PHPStan with result cache (8.1)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan with result cache (8.1)
The operation was canceled.
|
|
PHPStan with result cache (8.2)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan with result cache (8.2)
The operation was canceled.
|
|
PHPStan with result cache (8.3)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan with result cache (8.3)
The operation was canceled.
|
|
PHPStan (8.4, ubuntu-latest)
Canceling since a higher priority waiting request for 'sa-lazy-or' exists
|
|
PHPStan (8.4, ubuntu-latest)
The operation was canceled.
|