Delete merged branch of the backport PRs

[Backport main] Add release notes for 1.3.12 #287

Sign in to view logs

Triggered via pull request August 9, 2023 23:17

ps48

closed #744

backport/backport-742-to-main

Status Success

Total duration 12s

Artifacts –

delete_backport_branch.yml

on: pull_request