Skip to content
Merge bot PR

Fix non final object cast to array #3356

Sign in to view logs

Fix non final object cast to array

Fix non final object cast to array #3356

Triggered via pull request July 26, 2025 19:04
@VincentLangletVincentLanglet
opened #4167
VincentLanglet:fix/2730
Status Success
Total duration 25s
Artifacts –

merge-bot-pr.yml

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