[FEAT]: allow is_in to take in Vec<Expr> instead of Expr (#3294)
#5477
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 | |
| workflow_dispatch: | |
| permissions: | |
| # write permission is required to create a github release | |
| contents: write | |
| # write permission is required for autolabeler (which we don't use here) | |
| # otherwise, read permission is required at least | |
| pull-requests: read | |
| jobs: | |
| update_release_draft: | |
| 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@v6 | |
| # (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 }} |