WIP revisiting reopening logic #1942
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Python linter check | |
| on: | |
| pull_request: | |
| types: | |
| - "opened" | |
| - "reopened" | |
| - "synchronize" | |
| - "labeled" | |
| - "unlabeled" | |
| jobs: | |
| python_linter_check: | |
| name: Python Linter Check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.12.4' | |
| - name: Install dependencies | |
| run: | | |
| pip3 install -r ${{ github.workspace }}/src/python/requirements.txt | |
| pip3 install pylint lint-diffs | |
| ln -s ${{ github.workspace }}/src/python/pylintrc ${{ github.workspace }}/.pylintrc | |
| echo [pylint] > ${{ github.workspace }}/.lint-diffs | |
| echo extensions=.py >> ${{ github.workspace }}/.lint-diffs | |
| echo [clang-tidy] >> ${{ github.workspace }}/.lint-diffs | |
| echo extensions= >> ${{ github.workspace }}/.lint-diffs | |
| echo [rubocop] >> ${{ github.workspace }}/.lint-diffs | |
| echo extensions= >> ${{ github.workspace }}/.lint-diffs | |
| - name: Check the whole repo with pylint | |
| run: | | |
| export PYTHONPATH=${{ github.workspace }}/src/python:$PYTHONPATH | |
| pylint -j 8 src || true | |
| - name: Check the PR with pylint | |
| run: | | |
| export PYTHONPATH=${{ github.workspace }}/src/python:$PYTHONPATH | |
| git diff -U0 origin/main | lint-diffs |