File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11name : Auto-merge OpenAPI updates
22on :
33 pull_request :
4- types : [opened, synchronize, closed ]
4+ types : [opened, synchronize]
55jobs :
66 auto-merge :
77 if : |
8- github.event.action != 'closed' &&
98 github.event_name == 'pull_request' &&
109 startsWith(github.event.pull_request.head.ref, 'auto/update-openapi') &&
1110 github.event.pull_request.head.repo.full_name == github.repository &&
2322 - name : Log merge status
2423 run : |
2524 echo "✅ Auto-merge enabled for PR: ${{ github.event.pull_request.html_url }}"
26- publish-after-merge :
27- if : |
28- github.event_name == 'pull_request' &&
29- github.event.pull_request.merged == true &&
30- startsWith(github.event.pull_request.head.ref, 'auto/update-openapi') &&
31- github.event.pull_request.user.login == '0x-automation[bot]'
32- runs-on : ubuntu-latest
33- permissions :
34- actions : write
35- steps :
36- - name : Trigger publish-docs workflow
37- run : |
38- gh workflow run publish-docs.yml --ref main
39- echo "✅ Triggered publish-docs workflow after merge of PR: ${{ github.event.pull_request.html_url }}"
40- env :
41- GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments