Raw vectors data layer in HNSW + move to base class #261
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Backport merged pull request | |
| on: | |
| pull_request_target: | |
| types: [closed] | |
| issue_comment: | |
| types: [created] | |
| permissions: | |
| contents: write # so it can comment | |
| pull-requests: write # so it can create pull requests | |
| jobs: | |
| backport: | |
| name: Backport pull request | |
| runs-on: ubuntu-latest | |
| # Only run when pull request is merged | |
| # or when a comment containing `/backport` is created by someone other than the | |
| # https://github.com/backport-action bot user (user id: 97796249). Note that if you use your | |
| # own PAT as `github_token`, that you should replace this id with yours. | |
| if: > | |
| ( | |
| github.event_name == 'pull_request_target' && | |
| github.event.pull_request.merged | |
| ) || ( | |
| github.event_name == 'issue_comment' && | |
| github.event.issue.pull_request && | |
| github.event.comment.user.id != 97796249 && | |
| startsWith(github.event.comment.body, '/backport') | |
| ) | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Create backport pull requests | |
| id: backport | |
| uses: korthout/backport-action@v3 | |
| with: | |
| pull_title: '[${target_branch}] ${pull_title}' | |
| merge_commits: 'skip' | |
| copy_labels_pattern: '.*' # copy all labels. Excluding the backport labels automatically | |
| - name: Trigger workflows on backport pull requests | |
| env: | |
| GH_TOKEN: ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }} # PAT so it can trigger workflows on the new pull request | |
| run: | | |
| # Draft and un-draft the pull request to trigger workflows | |
| for pr in ${{ steps.backport.outputs.created_pull_numbers }}; do | |
| gh pr ready $pr --undo | |
| gh pr ready $pr | |
| gh pr edit $pr --add-reviewer ${{ github.event.pull_request.user.login || github.event.issue.user.login || github.actor }} | |
| done |