add link time optimization option #1711
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: Checks on the Python tools | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| jobs: | |
| lint: | |
| name: Client linting | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Clone | |
| uses: actions/checkout@v6 | |
| - name: Installing PIP dependencies | |
| run: pip install pylint PyGithub GitPython ledgered | |
| - name: Lint Python code | |
| run: pylint --rc setup.cfg .github/workflows/scripts/ | |
| mypy: | |
| name: Type checking | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Clone | |
| uses: actions/checkout@v6 | |
| - name: Installing PIP dependencies | |
| run: pip install mypy PyGithub GitPython ledgered | |
| - name: Mypy type checking | |
| run: mypy .github/workflows/scripts/ |