Skip to content
Merge bot PR

Improve array filter return type on php8 #3312

Sign in to view logs

Improve array filter return type on php8

Improve array filter return type on php8 #3312

Triggered via pull request July 19, 2025 19:33
@VincentLangletVincentLanglet
opened #4123
VincentLanglet:arrayFilterOnMixed
Status Success
Total duration 21s
Artifacts –

merge-bot-pr.yml

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