Update build submodule and go to v1.20 #2
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
| name: Backport | |
| on: | |
| # NOTE(negz): This is a risky target, but we run this action only when and if | |
| # a PR is closed, then filter down to specifically merged PRs. We also don't | |
| # invoke any scripts, etc from within the repo. I believe the fact that we'll | |
| # be able to review PRs before this runs makes this fairly safe. | |
| # https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ | |
| pull_request_target: | |
| types: [closed] | |
| # See also commands.yml for the /backport triggered variant of this workflow. | |
| jobs: | |
| # NOTE(negz): I tested many backport GitHub actions before landing on this | |
| # one. Many do not support merge commits, or do not support pull requests with | |
| # more than one commit. This one does. It also handily links backport PRs with | |
| # new PRs, and provides commentary and instructions when it can't backport. | |
| # The main gotcha with this action is that PRs _must_ be labelled before they're | |
| # merged to trigger a backport. | |
| open-pr: | |
| runs-on: ubuntu-22.04 | |
| if: github.event.pull_request.merged | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Open Backport PR | |
| uses: korthout/backport-action@v1 |