Merge bot PR

DeprecationExtensions: allow custom deprecation-marking logic #3121

Sign in to view logs

Triggered via pull request April 11, 2025 13:29

janedbal

opened #3932

janedbal:deprecation-providers

Status Success

Total duration 31s

Artifacts –

merge-bot-pr.yml

on: pull_request