Delete merged branch of the backport PRs

[1.3] Add 1.3.20 Release Notes #8838

Sign in to view logs

Triggered via pull request December 6, 2024 20:16

andrross

closed #16799

dbwiddis:release-notes

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request