2023-02-09 23:23:13 +01:00
|
|
|
name: Edge CI
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
pull_request_target:
|
2023-02-12 03:22:00 +01:00
|
|
|
types: [synchronize, reopened, closed, labeled, unlabeled]
|
2023-02-09 23:23:13 +01:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
update-patches:
|
2023-02-12 03:22:00 +01:00
|
|
|
# Run if the 'edge' label was added/removed, or if an edge PR was synchronized/reopened/closed
|
|
|
|
|
if: |
|
|
|
|
|
github.event.label.name == 'edge' ||
|
|
|
|
|
!contains(github.event.action, 'labeled') && contains(github.event.pull_request.labels.*.name, 'edge')
|
2023-02-09 23:23:13 +01:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Update Edge patches
|
|
|
|
|
uses: peter-evans/repository-dispatch@v2
|
|
|
|
|
with:
|
|
|
|
|
token: ${{ secrets.EDGE_PATCH_PAT }}
|
|
|
|
|
repository: skyline-emu/edge-patch
|
|
|
|
|
event-type: update-patches
|
