Delete merged branch of the backport PRs

Update concurrent-segment-search.md #3387

Sign in to view logs

Triggered via pull request October 20, 2023 18:52

kolchfa-aws

closed #5348

sandervandegeijn:patch-4

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request