Skip to content
Merge bot PR

False positive "non-empty-array<int, int> might not be a list" when change existing list key #3539

Sign in to view logs

False positive "non-empty-array<int, int> might not be a list" when change existing list key

False positive "non-empty-array<int, int> might not be a list" when change existing list key #3539

Triggered via pull request September 20, 2025 18:20
@staabmstaabm
opened #4351
staabm:bug13035
Status Success
Total duration 22s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
18s
Automerge PRs
Fit to window
Zoom out
Zoom in