Delete merged branch of the backport PRs

Redesigned top nav and footer #3538

Sign in to view logs

Triggered via pull request November 7, 2023 23:17

hdhalter

closed #5113

redesigned-top-nav-and-footer

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request