| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
| name: lint | |
| on: ["push", "pull_request"] | |
| jobs: | |
| lint: | |
| # We want to run on external PRs, but not on our own internal PRs as they'll be run | |
| # by the push to the branch. | |
| if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: ruff check | |
| run: | | |
| pipx run ruff check --diff msgpack/ test/ setup.py | |
| - name: ruff format | |
| run: | | |
| pipx run ruff format --diff msgpack/ test/ setup.py |
| Back | FazBrowse Home | New Git URL |