Skip to content

Commit

Permalink
chore: update build/, Makefile and integration test script (#204)
Browse files Browse the repository at this point in the history
Signed-off-by: Duologic <[email protected]>
  • Loading branch information
Duologic authored Dec 13, 2024
1 parent 9f1195b commit cee2aea
Show file tree
Hide file tree
Showing 10 changed files with 272 additions and 109 deletions.
28 changes: 28 additions & 0 deletions .github/workflows/backport.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
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
Loading

0 comments on commit cee2aea

Please sign in to comment.