Delete merged branch of the backport PRs

[Backport 2.11] Redesigned top nav and footer #3539

Sign in to view logs

Triggered via pull request November 7, 2023 23:46

hdhalter

closed #5541

backport/backport-5113-to-2.11

Status Success

Total duration 18s

Artifacts –

delete_backport_branch.yml

on: pull_request