Skip to content

Fix incorrect analyzing of array_shift with non-empty-list property #23018

Fix incorrect analyzing of array_shift with non-empty-list property

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
Coding Standard
Dependency Analysis
19s
Dependency Analysis
Name Collision Detector
21s
Name Collision Detector
Matrix: Lint
Fit to window
Zoom out
Zoom in

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