Fix #9146: TypeError dead catch when assigning mixed to int in property #210
Triggered via pull request
February 17, 2026 14:14
phpstan-bot
Status
Success
Total duration
14m 20s
Artifacts
–
claude-fix-pr-ci.yml
on: pull_request
Wait for CI checks
13m 54s
Fix CI failure
6s