Skip to content

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

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 #25868

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

static-analysis.yml

on: pull_request
Generate baseline
1m 31s
Generate baseline
Generate PHP baseline
1m 29s
Generate PHP baseline
Matrix: PHPStan with result cache
Matrix: PHPStan
Fit to window
Zoom out
Zoom in