Skip to content

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified #26243

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified #26243

Triggered via pull request February 15, 2026 07:58
Status Success
Total duration 1m 35s
Artifacts

lint.yml

on: pull_request
Coding Standard
1m 32s
Coding Standard
Dependency Analysis
17s
Dependency Analysis
Name Collision Detector
18s
Name Collision Detector
Matrix: Lint
Fit to window
Zoom out
Zoom in