Merge bot PR

Do not apply checkMissingOverrideMethodAttribute in traits #3100

Sign in to view logs

Triggered via pull request March 30, 2025 13:31

opened #3911

VincentLanglet:fix12471

Status Success

Total duration 31s

Artifacts –

merge-bot-pr.yml

on: pull_request