Delete merged branch of the backport PRs

[Backport 2.11] Minor fix in dropping covering index #1021

Sign in to view logs

Triggered via pull request October 6, 2023 04:59

vmmusings

closed #2240

backport/backport-2226-to-2.11

Status Success

Total duration 12s

Artifacts –

delete_backport_branch.yml

on: pull_request