1name: Merged PR stats
2
3on:
4  pull_request_target:
5    branches:
6      - main
7      - v*-branch
8    types: [closed]
9jobs:
10  record_merged:
11    if: github.event.pull_request.merged == true && github.repository == 'zephyrproject-rtos/zephyr'
12    runs-on: ubuntu-22.04
13    steps:
14      - name: checkout
15        uses: actions/checkout@v4
16      - name: PR event
17        env:
18          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
19          ELASTICSEARCH_KEY: ${{ secrets.ELASTICSEARCH_KEY }}
20          ELASTICSEARCH_SERVER: "https://elasticsearch.zephyrproject.io:443"
21          PR_STAT_ES_INDEX: ${{ vars.PR_STAT_ES_INDEX }}
22        run: |
23          pip install pygithub elasticsearch
24          python3 ./scripts/ci/stats/merged_prs.py --pull-request ${{ github.event.pull_request.number }} --repo ${{ github.repository }}
25