Revert "remove everything irrelevant to release-trigger" - #23043
Draft
paulbrauner-da wants to merge 1 commit into
Draft
Revert "remove everything irrelevant to release-trigger"#23043paulbrauner-da wants to merge 1 commit into
paulbrauner-da wants to merge 1 commit into
Azure Pipelines / PRs (Notify user about PR build status)
succeeded
May 13, 2026 in 2s
Notify user about PR build status succeeded
Loading