[PERF] Iceberg Partition Pruning #3488
Workflow file for this run
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
| # Adapted from: https://github.com/release-drafter/release-drafter#readme | |
| name: Release Drafter | |
| on: | |
| push: | |
| # branches to consider in the event; optional, defaults to all | |
| branches: | |
| - main | |
| # pull_request event is required only for autolabeler | |
| pull_request: | |
| # Only following types are handled by the action, but one can default to all as well | |
| types: [opened, reopened, synchronize, edited, labeled, unlabeled] | |
| # pull_request_target event is required for autolabeler to support PRs from forks | |
| # pull_request_target: | |
| # types: [opened, reopened, synchronize] | |
| permissions: | |
| contents: read | |
| jobs: | |
| update_release_draft: | |
| permissions: | |
| # write permission is required to create a github release | |
| contents: write | |
| # write permission is required for autolabeler | |
| # otherwise, read permission is required at least | |
| pull-requests: write | |
| runs-on: ubuntu-latest | |
| steps: | |
| # (Optional) GitHub Enterprise requires GHE_HOST variable set | |
| #- name: Set GHE_HOST | |
| # run: | | |
| # echo "GHE_HOST=${GITHUB_SERVER_URL##https:\/\/}" >> $GITHUB_ENV | |
| # Drafts your next Release notes as Pull Requests are merged into "master" | |
| - uses: release-drafter/release-drafter@v5 | |
| # (Optional) specify config name to use, relative to .github/. Default: release-drafter.yml | |
| # with: | |
| # config-name: my-config.yml | |
| # disable-autolabeler: true | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| # Check that at least one of the required labels was applied on this PR | |
| label: | |
| # Only run on non-main jobs (pending PRs), and after the auto-labeller completes (in `update_release_draft`) | |
| if: github.ref != 'refs/heads/main' | |
| needs: update_release_draft | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pull-requests: write | |
| steps: | |
| - uses: mheap/github-action-required-labels@v5 | |
| with: | |
| mode: minimum | |
| count: 1 | |
| labels: performance, enhancement, bug, chore, documentation, dependencies | |
| add_comment: true | |
| message: | | |
| This PR is being prevented from merging because you need at least one of the required labels: | |
| ``` | |
| enhancement | performance | bug | chore | documentation | dependencies | |
| ``` | |
| The canonical and easiest way of adding them is to add the following prefixes to your PR title: | |
| * [FEAT]: adds the `enhancement` label | |
| * [PERF]: adds the `performance` label | |
| * [BUG]: adds the `bug` label | |
| * [CHORE]: adds the `chore` label | |
| * [DOCS]: adds the `documentation` label | |
| Thanks for helping us categorize and manage our PRs! |