Skip to content
This repository was archived by the owner on Apr 24, 2026. It is now read-only.

Commit b6f4e61

Browse files
committed
ci: add PR lane event relay to centralized merge FSM
1 parent 17c5b45 commit b6f4e61

1 file changed

Lines changed: 44 additions & 0 deletions

File tree

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
name: PR Lane Event Relay
2+
3+
on:
4+
pull_request:
5+
types: [opened, reopened, synchronize, ready_for_review, converted_to_draft, labeled, unlabeled]
6+
pull_request_review:
7+
types: [submitted, dismissed, edited]
8+
check_suite:
9+
types: [completed]
10+
workflow_dispatch:
11+
12+
permissions:
13+
contents: read
14+
15+
jobs:
16+
relay:
17+
runs-on: ubuntu-latest
18+
steps:
19+
- name: Skip when relay secret is missing
20+
id: preflight
21+
run: |
22+
if [ -z "${{ secrets.PLURES_PROJECTS }}" ]; then
23+
echo "Relay disabled: missing PLURES_PROJECTS secret"
24+
echo "enabled=false" >> "$GITHUB_OUTPUT"
25+
else
26+
echo "enabled=true" >> "$GITHUB_OUTPUT"
27+
fi
28+
29+
- name: Dispatch lane tick to automation-infrastructure
30+
if: steps.preflight.outputs.enabled == 'true'
31+
uses: peter-evans/repository-dispatch@v3
32+
with:
33+
token: ${{ secrets.PLURES_PROJECTS }}
34+
repository: plures/automation-infrastructure
35+
event-type: lane-tick
36+
client-payload: |
37+
{
38+
"repo": "${{ github.event.repository.name }}",
39+
"event": "${{ github.event_name }}",
40+
"action": "${{ github.event.action || '' }}",
41+
"pr": "${{ github.event.pull_request.number || '' }}",
42+
"sha": "${{ github.sha }}",
43+
"ref": "${{ github.ref }}"
44+
}

0 commit comments

Comments
 (0)