Merge bot PR

Add more numeric-string inferences after string concat #3635

Sign in to view logs

Triggered via pull request October 16, 2025 22:07

opened #4447

VincentLanglet:improveConcat

Status Success

Total duration 32s

Artifacts –

merge-bot-pr.yml

on: pull_request