Delete merged branch of the backport PRs

Improve filter push down on skipping index #815

Sign in to view logs

Triggered via pull request July 11, 2023 22:09

dai-chen

closed #1823

dai-chen:improve-index-filter-push-down

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request