Fix incorrect analyzing of array_shift with non-empty-list property #23018
Triggered via pull request
September 8, 2025 09:42
Status
Cancelled
Total duration
1m 22s
Artifacts
–
lint.yml
on: pull_request
Coding Standard
1m 16s
Dependency Analysis
19s
Name Collision Detector
21s
Matrix: Lint
Annotations
5 errors
|
Coding Standard
The operation was canceled.
|
|
Coding Standard
Canceling since a higher priority waiting request for lint-bug13438 exists
|
|
Lint (7.4)
The operation was canceled.
|
|
Lint (7.4)
Canceling since a higher priority waiting request for lint-bug13438 exists
|
|
Lint
Canceling since a higher priority waiting request for lint-bug13438 exists
|