Skip to content

Improve Leader Election metrics #10136

Improve Leader Election metrics

Improve Leader Election metrics #10136

---
name: "PR complexity label"
on:
pull_request:
types: [opened, synchronize, reopened]
branches:
- main
- "[0-9]+.[0-9]+.x"
pull_request_review_comment:
types: [created, deleted]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
permissions: {}
jobs:
codereview-complexity:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- name: Checkout repository
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
persist-credentials: false
- name: Setup python
uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5.3.0
with:
python-version: 3.12
cache: 'pip'
cache-dependency-path: '**/requirements*.txt'
- name: Install dependencies
run: pip install -r requirements.txt -r tasks/requirements.txt
- name: Check code review complexity
env:
PR_NUMBER: ${{ github.event.pull_request.number }}
run: inv -e github.assign-codereview-label --pr-id="$PR_NUMBER"