1name: Release queue
2on:
3 issue_comment:
4 types: [created]
5 pull_request_target:
6 branches: [main, v4/next-minor, v4/next-major]
7 push:
8 branches: [main, v4/next-minor, v4/next-major]
9
10permissions: {}
11
12jobs:
13 approval-gate:
14 if: github.event_name == 'pull_request_target' && github.event.pull_request.head.repo.full_name != github.repository
15 runs-on: ubuntu-latest
16 environment: fork
17 steps:
18 - run: echo "Fork PR approved by maintainer."
19
20 update:
21 needs: [approval-gate]
22 if: always() && (needs.approval-gate.result == 'success' || needs.approval-gate.result == 'skipped')
23 name: Update
24 runs-on: ubuntu-latest
25 timeout-minutes: 10
26 permissions:
27 contents: write
28 pull-requests: write
29 steps:
30 - uses: actions/checkout@d23441a48e516b6c34aea4fa41551a30e30af803 # v6
31 with:
32 fetch-depth: 0
33 token: ${{ secrets.EFFECT_BOT_GH }}
34 - run: gh pr checkout ${{ github.event.pull_request.number }}
35 if: github.event.pull_request
36 env:
37 GITHUB_TOKEN: ${{ secrets.EFFECT_BOT_GH }}
38 - uses: Effect-TS/next-release-action@63daaa626282bc42fad44dcb89c7f7db9c53b786
39 with:
40 github_token: ${{ secrets.EFFECT_BOT_GH }}
41 base_branch: main
42 eligible_branches: v4/next-minor,v4/next-major
43 git_user: effect-bot
44 git_email: tech-ops@effectful.co