Backport merged pull request

unify implementation of `[[deprecated]]` attribute #3867

Sign in to view logs

Triggered via issue November 25, 2024 12:56

miscco

commented on #2934 0b36a7d

Status Skipped

Total duration 2s

Artifacts –

backport-prs.yml

on: issue_comment

Backport pull request