Skip to content
Delete merged branch of the backport PRs

Update KNN80BinaryDocValues reader count live docs and use live docs as initial capacity to initialize vector address #765

Sign in to view logs

Update KNN80BinaryDocValues reader count live docs and use live docs as initial capacity to initialize vector address

Update KNN80BinaryDocValues reader count live docs and use live docs as initial capacity to initialize vector address #765

Workflow file for this run

.github/workflows/delete_backport_branch.yml at dae2025
name: Delete merged branch of the backport PRs
on:
pull_request:
types:
- closed
jobs:
delete-branch:
runs-on: ubuntu-latest
if: startsWith(github.event.pull_request.head.ref,'backport/')
steps:
- name: Delete merged branch
uses: SvanBoxel/delete-merged-branch@main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}