Delete merged branch of the backport PRs

Revert "Redesigned top nav and footer (#5113)" #3545

Sign in to view logs

Triggered via pull request November 8, 2023 17:15

hdhalter

closed #5548

revert-5543-backport/backport-5113-to-2.10

Status Skipped

Total duration 1s

Artifacts –

delete_backport_branch.yml

on: pull_request