Merge bot PR

Introduce UnionType::filterTypes #2799

Sign in to view logs

Triggered via pull request November 5, 2024 15:07

opened #3607

VincentLanglet:refacto/union-type

Status Success

Total duration 29s

Artifacts –

merge-bot-pr.yml

on: pull_request