Skip to content
Delete merged branch of the backport PRs

Implemented the Streaming Feature to stream vectors from Java to JNI layer to enable creation of larger segments for vector indices #770

Sign in to view logs

Implemented the Streaming Feature to stream vectors from Java to JNI layer to enable creation of larger segments for vector indices

Implemented the Streaming Feature to stream vectors from Java to JNI layer to enable creation of larger segments for vector indices #770

Workflow file for this run

.github/workflows/delete_backport_branch.yml at 2720673
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 }}