Merge bot PR

More precise types for `preg_match` greater than `0` #2804

Sign in to view logs

Triggered via pull request November 8, 2024 12:54

staabm

opened #3612

staabm:bug11293

Status Success

Total duration 27s

Artifacts –

merge-bot-pr.yml

on: pull_request