Delete merged branch of the backport PRs

Minor fix in dropping covering index #1009

Sign in to view logs

Triggered via pull request October 5, 2023 21:11

vmmusings

closed #2226

vmmusings:main

Status Skipped

Total duration 4s

Artifacts –

delete_backport_branch.yml

on: pull_request